diff options
Diffstat (limited to 'src/syntax/iso.mli')
| -rw-r--r-- | src/syntax/iso.mli | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/syntax/iso.mli b/src/syntax/iso.mli new file mode 100644 index 0000000..b7d3c45 --- /dev/null +++ b/src/syntax/iso.mli @@ -0,0 +1,11 @@ +(* The package sedlex is released under the terms of an MIT-like license. *) +(* See the attached LICENSE file. *) + +open Sedlex_cset + +(** Letters to be used in identifiers, as specified + by ISO .... *) + +(* Data provided by John M. Skaller *) + +val tr8876_ident_char : t |