sig
  val concretize :
    Evalenv.Evalenv.evalenv ->
    Ast.Ast.exp -> Evalenv.Evalenv.evalenv * Ast.Ast.exp
end