Module 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
val regexp_of_kf : Frama_c_kernel.Kernel_function.t -> Regexp.t * Regexp.t Frama_c_kernel.Interpreted_automata.Vertex.Map.t