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.
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.
To install ocaml-zarith, run the following command in macOS terminal (Applications->Utilities->Terminal)
sudo port install ocaml-zarith
To see what files were installed by ocaml-zarith, run:
port contents ocaml-zarith
To later upgrade ocaml-zarith, run:
sudo port selfupdate && sudo port upgrade ocaml-zarith
Reporting an issue on MacPorts Trac
The MacPorts Project uses a system called Trac to file tickets to report bugs and enhancement requests.
Though anyone may search Trac for tickets, you must have a GitHub account in order to login to Trac to create tickets.