Module Interpreted_automata_regexp.Letter
type t =
Frama_c_kernel.Interpreted_automata.Vertex.t
* Frama_c_kernel.Interpreted_automata.Edge.t
* Frama_c_kernel.Interpreted_automata.Vertex.t
val equal : t -> t -> bool
val pretty : Stdlib.Format.formatter -> t -> unit