type regexp =
  Empty
  | Char of char
  | Or of (regexp ∗ regexp)
  | Seq of (regexp ∗ regexp)
  | Star of regexp
;;