zarith

API

Library zarith

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