zarith-ppx
Literals for Zarith's arbitrary-precision integers and rationals
Description
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers. Zarith-ppx add support for literals of the form '13z' and '1.5q'.
Install
- Published
- 19 Mar 2019
- Authors
- Maintainers
Sources
Dependencies
Reverse Dependencies