Core.Interpreted_automata_regexp
module Letter :
Codex.Fixpoint.Regex.Letter
with type t =
Frama_c_kernel.Interpreted_automata.Vertex.t
* Frama_c_kernel.Interpreted_automata.Edge.t
* Frama_c_kernel.Interpreted_automata.Vertex.t
module Regexp : sig ... end