Module `Mutils.CoqToCaml`

val z_big_int : Micromega.z -> Big_int.big_int
val z : Micromega.z -> int
val q_to_num : Micromega.q -> Num.num
val positive : Micromega.positive -> int
val n : Micromega.n -> int
val nat : Micromega.nat -> int
val index : Micromega.positive -> int