Index of types


B
big_int [Big_int_Z]

K
kind [Q]
Rationals can be categorized into different kinds, depending mainly on whether the numerator and/or denominator is null.

T
t [Q]
A rational is represented as a pair numerator/denominator, reduced to have a non-negative denominator and no common factor.
t [Z]
Type of integers of arbitrary length.