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