Index of exceptions

N
NoAssigns [Assigns]
No_simple_translation [Translate_predicates]

Exceptin raised if untyped_to_exp would generate new statements in the environment

No_simple_translation [Translate_terms]

Exceptin raised if untyped_to_exp would generate new statements in the environment

No_simple_translation [E_ACSL.Translate_predicates]
No_simple_translation [E_ACSL.Translate_terms]
Not_a_number [Typing]
Not_memoized [Error.S]

"Not memoized" error with the phase where the error occured.

Not_yet [Error.S]

"Not yet supported" error where the first element is the phase where the error occured and the second element is the error message.

Not_yet [E_ACSL.Error]
T
Typing_error [Error.S]

Typing error where the first element is the phase where the error occured and the second element is the error message.

Typing_error [E_ACSL.Error]
U
Unregistered [Rtl.Symbols]