zarith 1.12

Libraries

This package provides the following libraries (via ocamlobjinfo):

zarith

Documentation:

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

zarith.top

Documentation:

• Zarith_top