Skip to main content
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.tval equal : t -> t -> boolval pretty : Stdlib.Format.formatter -> t -> unit