(* The type re of regular expressions over an alphabet $S$ is the smallest
collection of objects generated by the following constructors: *)
(* The type re of regular expressions over an alphabet $S$ is the smallest
collection of objects generated by the following constructors: *)