sig
  type env
  val empty : Interpreter.env
  val eval_unit :
    Interpreter.env ->
    Module.name ->
    SurfaceSyntax.interface ->
    SurfaceSyntax.implementation -> Interpreter.env
  val eval_lone_implementation :
    Interpreter.env -> SurfaceSyntax.implementation -> unit
end