package zarith-freestanding

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

Install

Dune Dependency

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

Authors

  1. Xavier Leroy

Maintainers

  1. M
    mirageos-devel

Sources

release-1.10.tar.gz
md5=21f01e86596665d2f3a79f70162e81c9
sha512=94958feccd3be863b4bcc7887f5108099962402ab6eddbae42420cd04323aafe930dac75c6f1f3d50d8f57cdd2108f1b25546999bac3f03a0a682127d5b67612

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: 15 Sep 2020

Dependencies (6)

  1. conf-pkg-config build & < "3"
  2. ocamlfind build
  3. zarith = "1.10"
  4. gmp-freestanding >= "6.1.2-2"
  5. ocaml-freestanding >= "0.4.1" & < "0.7.0"
  6. ocaml

Dev Dependencies

None

Used by (2)

  1. mirage-crypto-pk < "0.11.0"
  2. nocrypto >= "0.5.4"

Conflicts

None