Module `Micromega_plugin__Mutils.CoqToCaml`

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