Mula.Strings
We provide two kinds of Automata:
Lev
Dem
module Lev : sig ... end
module Dem : sig ... end