sig
val
evaluate :
Ast
.
Ast
.topdecl list
->
Evalenv
.
Evalenv
.evalenv
end