package zarith-xen

  1. Overview
  2. Docs
Implements arithmetic and logical operations over arbitrary-precision integers

Install

Dune Dependency

Authors

Maintainers

Sources

release-1.6.tar.gz
md5=6cc3023620048236d2e8d3a21d5f0940

Description

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers. It uses GMP to efficiently implement arithmetic over big integers. Small integers are represented as Caml unboxed integers, for speed and space economy.

Published: 10 Oct 2017

Dependencies (5)

  1. ocamlfind build
  2. zarith = "1.6"
  3. gmp-xen > "6.0.0"
  4. mirage-xen-posix
  5. ocaml

Dev Dependencies

None

Used by (2)

  1. mirage-crypto-pk < "0.8.6"
  2. nocrypto >= "0.4.0"

Conflicts

None

OCaml

Innovation. Community. Security.