- Index of types
- Index of exceptions
- Index of values
- Index of modules

#### `Introduction` (version 0.9.10)

### Coefficients

Scalar |
Interval |
Coeff |

### Managers and Abstract Domains

Manager |
Box | Intervals abstract domain
Oct |
Polka |
Ppl | Convex Polyhedra and Linear Congruences abstract domains (PPL wrapper)
PolkaGrid | Reduced product of NewPolka polyhedra and PPL grids

### Level 1 of the interface (user-level)

Var |
Environment |
Linexpr1 |
Lincons1 |
Generator1 |
Texpr1 |
Tcons1 |
Abstract1 |
Parser | APRON Parsing of expressions

### Level 0 of the interface

Dim |
Linexpr0 |
Lincons0 |
Generator0 |
Texpr0 |
Tcons0 |
Abstract0 |

### MLGMPIDL modules

Mpz |
Mpq |
Mpf |
Mpfr |
Gmp_random |
Mpzf | GMP multi-precision integers, functional version
Mpqf | GMP multi-precision rationals, functional version
Mpfrf | MPFR multi-precision floating-point version, functional version