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