Module `Micromega_plugin__Mutils.CoqToCaml`

val z_big_int : Micromega_plugin.Micromega.z -> Micromega_plugin.NumCompat.Z.t
val z : Micromega_plugin.Micromega.z -> int
val q_to_num : Micromega_plugin.Micromega.q -> Micromega_plugin.NumCompat.Q.t
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