(** The opaque, abstract type of regular expressions. *)
Parameter RegularExpressionT : string -> Set.
