signature EVAL = sig
- val exec : Env.env_vars -> Ast.exp -> unit
- val exec' : Env.env_vars -> Ast.exp -> Env.env_vars
+ val exec : (Env.env_vars * Env.env_vars) -> Ast.exp -> unit
+ val exec' : (Env.env_vars * Env.env_vars) -> Ast.exp -> Env.env_vars
end