package zarith-xen

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

Install

Dune Dependency

Authors

Maintainers

Sources

release-1.7.tar.gz
sha256=d641bb66d04461111b75f2fc37ad1eec764dcf326d98a51ac078695baea2ab3a
md5=80944e2755ebb848451a77dc2ad0651b

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: 16 Oct 2017

Dependencies (5)

  1. ocamlfind build
  2. zarith = "1.7"
  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.