Module Mutils.CoqToCamlSource

Sourceval z_big_int : Micromega.z -> NumCompat.Z.t
Sourceval z : Micromega.z -> int
Sourceval positive : Micromega.positive -> int
Sourceval n : Micromega.n -> int
Sourceval nat : Micromega.nat -> int
Sourceval index : Micromega.positive -> int