AltErgoLib.Numbers
module Z : NumbersInterface.ZSig
Integers implementation. *
module Q : sig ... end
Rationals implementation. *