B | |
| Bddindex [Bdd.Env] | |
E | |
| Error [Bddapron.Lex] | |
| Error [Bddapron.Syntax] |
Translation functions
|
| Error [Apron.Parser] |
Raised by conversion functions
|
| Error [Apron.Apron_lexer] | |
| Error [Apron.Manager] |
Exception raised by functions of the interface
|
L | |
| Lex_error [Parse] | |
T | |
| Typing [Bdd.Int] |
Raised when operands are of incompatible type (sign and size)
|