Module Oracle.Oracle


module Oracle: sig .. end

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