zarith-xen

Implements arithmetic and logical operations over arbitrary-precision integers
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.

Install
Documentation forge.ocamlcore.org Edit opam file
Published
16 Oct 2017
Authors
Maintainers
Sources
release-1.7.tar.gz
md5=80944e2755ebb848451a77dc2ad0651b
Dependencies
ocamlfind build
zarith = "1.7"
gmp-xen > "6.0.0"
mirage-xen-posix
ocaml
Reverse Dependencies
mirage-crypto-pk < "0.8.6"
nocrypto >= "0.4.0"