Numbers (alt-ergo-lib.AltErgoLib.Numbers)

module Int : sig ... end

module Z : sig ... end

Integers implementation. *

module Q : sig ... end

Rationals implementation. *