Module Micromega.ZSource

Sourceval double : z -> z
Sourceval succ_double : z -> z
Sourceval pred_double : z -> z
Sourceval pos_sub : positive -> positive -> z
Sourceval add : z -> z -> z
Sourceval opp : z -> z
Sourceval sub : z -> z -> z
Sourceval mul : z -> z -> z
Sourceval pow_pos : z -> positive -> z
Sourceval pow : z -> z -> z
Sourceval compare : z -> z -> comparison
Sourceval leb : z -> z -> bool
Sourceval ltb : z -> z -> bool
Sourceval gtb : z -> z -> bool
Sourceval max : z -> z -> z
Sourceval abs : z -> z
Sourceval to_N : z -> n
Sourceval of_nat : nat -> z
Sourceval of_N : n -> z
Sourceval pos_div_eucl : positive -> z -> z * z
Sourceval div_eucl : z -> z -> z * z
Sourceval div : z -> z -> z
Sourceval gcd : z -> z -> z