Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature BASIS_2002_EXNS = |
2 | sig | |
3 | (* Top-level exceptions *) | |
4 | exception Bind | |
5 | exception Chr | |
6 | exception Div | |
7 | exception Domain | |
8 | exception Empty | |
9 | exception Fail of string | |
10 | exception Match | |
11 | exception Option | |
12 | exception Overflow | |
13 | exception Size | |
14 | exception Span | |
15 | exception Subscript | |
16 | end |