Minnesota Extensible Language Tools Group

[silver:compiler:extension:auto_ast]

Contents of [silver:compiler:extension:auto_ast]:

Defined in this grammar:

concrete production autoAstDcl   (top::ProductionStmt ::= 'abstract' v::QName ';' )

Contained in grammar [silver:compiler:extension:auto_ast]. Defined at silver/compiler/extension/auto_ast/AutoAst.sv line 9.

(Undocumented.)

function hasAst   (Boolean ::= ns::NamedSignatureElement env::Env )

Contained in grammar [silver:compiler:extension:auto_ast]. Defined at silver/compiler/extension/auto_ast/AutoAst.sv line 76.

(Undocumented.)

function astType   (Type ::= ns::NamedSignatureElement env::Env )

Contained in grammar [silver:compiler:extension:auto_ast]. Defined at silver/compiler/extension/auto_ast/AutoAst.sv line 82.

(Undocumented.)

function accessAst   (Expr ::= ns::NamedSignatureElement )

Contained in grammar [silver:compiler:extension:auto_ast]. Defined at silver/compiler/extension/auto_ast/AutoAst.sv line 93.

(Undocumented.)