[silver:reflect]

Contents of [silver:reflect]:

Defined in this grammar:

synthesized attribute serialize<a> :: Either<String a>

Contained in grammar [silver:reflect]. Defined at silver/reflect/AST.sv line 4.

(Undocumented.)


synthesized attribute astsLength :: Integer

Contained in grammar [silver:reflect]. Defined at silver/reflect/AST.sv line 73.

(Undocumented.)


function appendASTs   (ASTs ::= a::ASTs b::ASTs )

Contained in grammar [silver:reflect]. Defined at silver/reflect/AST.sv line 128.

(Undocumented.)


fun serialize   (Either<String String> ::= x::a )

Contained in grammar [silver:reflect]. Defined at silver/reflect/Util.sv line 8.

(Undocumented.)


parser astParser :: AST_c

Contained in grammar [silver:reflect]. Defined at silver/reflect/Util.sv line 10.

(Undocumented.)


function deserializeAST   (Either<String AST> ::= fileName::String text::String )

Contained in grammar [silver:reflect]. Defined at silver/reflect/Util.sv line 14.

(Undocumented.)


fun deserialize   (runtimeTypeable a => Either<String a> ::= fileName::String text::String )

Contained in grammar [silver:reflect]. Defined at silver/reflect/Util.sv line 28.

(Undocumented.)