Module Oracle.Oracle

module Oracle: sig .. end

val fill_in_holes : Evalenv.Evalenv.evalenv ->
       string -> Ast.Ast.exp -> Evalenv.Evalenv.evalenv * Ast.Ast.exp