package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Mc = Micromega
val pp_nat : out_channel -> Mc.nat -> unit
val pp_positive : out_channel -> Mc.positive -> unit
val pp_z : out_channel -> Mc.z -> unit
val pp_pol : (out_channel -> 'a -> unit) -> out_channel -> 'a Mc.pol -> unit
val pp_psatz : (out_channel -> 'a -> unit) -> out_channel -> 'a Mc.psatz -> unit
val pp_proof_term : out_channel -> Mc.zArithProof -> unit