package zarith-xen

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

Install

Dune Dependency

forge.ocamlcore.org Edit opam file Versions (4)

Authors

  1. Xavier Leroy

Maintainers

  1. M
    mirageos-devel

Sources

release-1.7.tar.gz
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