Up
–
Index
»
docs
»
findlib-1
» zarith
Package zarith
Library zarith
Library zarith
This library exposes the following toplevel modules:
Big_int_Z
Big_int
interface for Z module.
Q
Rationals.
Z
Integers.
Zarith_version