Definition of Regular expressions and associated utilities.
Smart constructors
val epsilon : 'a t
val void : 'a t
val atom : 'a ‑> 'a t
val char : 'a ‑> 'a t
QCheck utilities
val size : 'a t ‑> int
val prio : 'a t ‑> int
val pp : ?epsilon:bool ‑> 'a Fmt.t ‑> 'a t Fmt.t
val gen : compl:bool ‑> 'a QCheck.Gen.t ‑> 'a t QCheck.Gen.t