An OCaml library of Unicode strings and regular expressions over the alphabet
of the SMT-LIB Unicode
strings theory, Unicode code points in the range 0x0-0x2FFFF (planes 0-2).
It provides the primitives needed to build concrete string and regex values.
Codepoint: Unicode code points in the range0x0-0x2FFFF(planes 0-2).Ustr: immutable strings of code points, with substring search.Reglan: regular languages, with membership decided by Brzozowski derivatives and leftmost shortest match search.