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]