Module Interpreter

module Interpreter: sig .. end

type env 

val empty : env

val eval_unit : env ->
       Module.name ->
       SurfaceSyntax.interface -> SurfaceSyntax.implementation -> env

val eval_lone_implementation : env -> SurfaceSyntax.implementation -> unit