Directory zarith

Libraries

The following libraries are found in this directory.

• zarith

Modules

The following is a list of all of the modules found at this filesystem path.

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