type byte =
| Single of int
| Cont of int
| Leading of int * int
| Invalid
val classify : char -> byte
val next : string -> remaining:int -> int -> int
val simple_comparison : string -> bool
val is_unicode_string : string -> bool
val is_unescaped : string -> bool