AltErgoLib.NumbersInterface
module type ZSig = sig ... end
Interface of Integers *
module type QSig = sig ... end
Interface of Rationals *