Module Mutils.McPrinter

module Mc = Micromega
val pp_nat : Stdlib.out_channel -> Mc.nat -> unit
val pp_positive : Stdlib.out_channel -> Mc.positive -> unit
val pp_z : Stdlib.out_channel -> Mc.z -> unit
val pp_pol : (Stdlib.out_channel -> 'a -> unit) -> Stdlib.out_channel -> 'a Mc.pol -> unit
val pp_psatz : (Stdlib.out_channel -> 'a -> unit) -> Stdlib.out_channel -> 'a Mc.psatz -> unit
val pp_proof_term : Stdlib.out_channel -> Mc.zArithProof -> unit