Cfg_analysis.CfgRegex
type letter = Cfg.E.t
type t = Cfg.E.t Fixpoint.Regex.tagged_regex
val empty : t
val epsilon : t
val hash : t -> int
val pretty : Stdlib.Format.formatter -> t -> unit
val pretty_reverse : Stdlib.Format.formatter -> t -> unit
Print a regex in reverse. Useful sometimes when a regex is too big to be * fully printed, and you only want to see the end, you can start printing it * in reverse and interrupt the program.