type byte =
| Single(int)
| Cont(int)
| Leading(int, int)
| Invalid
;
let classify: char => byte;
let next: string => remaining:int => int => int;
let simple_comparison: string => bool;
let is_unicode_string: string => bool;
let is_unescaped: string => bool;