zarith index

Library zarith

This library exposes the following toplevel modules:

• Big_int_Z Big_int interface for Z module.
• Q Rationals.
• Z Integers.
• Zarith_version

Library zarith.top

The entry point of this library is the module: Zarith_top.