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