Package 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