org.bitbucket.inkytonik.kiama.rewriting.NominalTree
A name comprising a base string with an optional integer index. The index defaults to being omitted.
A name comprising a base string with an optional integer index. The index defaults to being omitted.