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