amyc.ast

A module containing trees where the names have not been resolved. Instantiates Name to String and QualifiedName to a pair of Strings representing (module, name) (where module is optional)

A module containing trees where the names have been resolved to unique identifiers. Both Name and ModuleName are instantiated to Identifier.

A polymorphic module containing definitions of Amy trees.

This trait represents either nominal trees (where names have not been resolved) or symbolic trees (where names/qualified names) have been resolved to unique identifiers. This is done by having two type fields within the module, which will be instantiated differently by the two different modules.