F | |
| Failed [Generic_util_exn] |
Indicates a failure.
|
I | |
| Insert_duplicate [Generic_util_list] |
Raised by
Generic_util_list.sl_insert when trying to insert an element that is already in the list.
|
M | |
| Match_list_failure [Generic_util_list] |
Raised by
Generic_util_list.match_list.
|
N | |
| Not_yet_implemented [Generic_util_exn] |
Indicates a feature that is yet to be implemented.
|
T | |
| Type_pattern_match_failure [Generic_core_extensible] |
Raised by the
f field of a Generic_core_extensible.closure when there is no
case registered to deal with the type witness.
|
| Type_pattern_overwrite [Generic_core_extensible] |
Raised by the
ext field of a Generic_core_extensible.closure when trying to extend a type indexed function
with a case for a pattern that is already covered.
|
U | |
| Undefined [Generic_util_exn] |
A function may raise
Undefined outside of its domain of definition.
|