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