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