Module Mpa

module Mpa: sig  end

Multi-precision arithmetic.
Author(s): Jean-Christophe Filliatre, Harald Ruess

The purpose of this module is to abstract the necessary arithmetic functions of any multi-precision package such as Ocaml's bignums, GNU MP etc in order to switch more easily between different multi-precision arithmetic packages.

Integers

module Z: sig  end

Multi-precision integers.

Rationals.

module Q: sig  end

Multi-precision rationals.