AltErgoLib.ZarithNumbers
module Z : NumbersInterface.ZSig with type t = Z.t
Integers implementation. Based on Zarith's integers *
module Q : NumbersInterface.QSig with module Z = Z
Rationals implementation. Based on Zarith's rationals *