package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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
OCaml

Innovation. Community. Security.