Up – Package index » zarith

zarith

API
- Library zarith

zarith
- Library zarith
  - Big_int_Z
  - Q
  - Z

API

Library zarith

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