sig
  type regexp
  val chars : Cset.t -> Ulex.regexp
  val seq : Ulex.regexp -> Ulex.regexp -> Ulex.regexp
  val alt : Ulex.regexp -> Ulex.regexp -> Ulex.regexp
  val rep : Ulex.regexp -> Ulex.regexp
  val plus : Ulex.regexp -> Ulex.regexp
  val eps : Ulex.regexp
  val compile : Ulex.regexp array -> (int * int array * bool array) array
  val partitions : unit -> (int * (int * int * int) list) list
end