Up – Package index » doc » Library alt-ergo-lib » AltErgoLib » ZarithNumbers

Module `AltErgoLib.ZarithNumbers`Source

Sourcemodule Z : NumbersInterface.ZSig with type t = Z.t

Integers implementation. Based on Zarith's integers *

Sourcemodule Q : NumbersInterface.QSig with module Z = Z

Rationals implementation. Based on Zarith's rationals *