package alt-ergo-lib

  1. Overview
  2. Docs
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 *

OCaml

Innovation. Community. Security.