Module Mutils.McPrinterSource

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