Create.G'
include module type of struct include Cfg end
include Graph.Sig.I
with module V = Binsec_codex_lib.Cfg_analysis.V
and module E = Binsec_codex_lib.Cfg_analysis.E
type t = Cfg_analysis.Cfg.t
module V = Cfg.V
type vertex = V.t
module E = Cfg.E
type edge = E.t
val is_empty : t -> bool
val nb_vertex : t -> int
val nb_edges : t -> int
val create : ?size:int -> unit -> t
val clear : t -> unit
val vertex_name : Cfg.V.t -> string