Module Interpreted_automata_regexp.Regexp

type letter = Letter.t
type t
val empty : t
val epsilon : t
val join : t -> t -> t
val append : t -> letter -> t
val append_star : t -> t -> t
val equal : t -> t -> bool
val hash : t -> int
val pretty : Stdlib.Format.formatter -> t -> unit
val pretty_reverse : Stdlib.Format.formatter -> t -> unit