Module `Mutils.CoqToCaml`

val z_big_int : Micromega.z -> NumCompat.Z.t
val z : Micromega.z -> int
val q_to_num : Micromega.q -> NumCompat.Q.t
val positive : Micromega.positive -> int
val n : Micromega.n -> int
val nat : Micromega.nat -> int
val index : Micromega.positive -> int