open ASTerm
open ImpureConfig
open Map_poly
open NumC
open PedraQBackend

*  oracle :    ZTerm.t Core.Base.imp *

let oracle = IntervalizationOracle.oracleZ

(** val handelman_oracle :
    t -> cmpG -> QTerm.t -> Handelman_compute.certif list **)

let handelman_oracle = HOracle_backend.oracle

* val handelman_oracle :
    t -> cmpG -> QTerm.t -> Handelman_compute.certif list *
open ASTerm
open ImpureConfig
open Map_poly
open NumC
open PedraQBackend

*  oracle :    ZTerm.t Core.Base.imp *

let oracle = IntervalizationOracle.oracleZ


let handelman_oracle = HOracle_backend.oracle
