module GraphDeps: sig .. end
sig
end
module V: sig .. end
type t = V.t list
V.t list
val iter_vertex : (V.t -> unit) -> t -> unit
(V.t -> unit) -> t -> unit
val iter_succ : (Cil_types.varinfo * (Cil_types.varinfo list * Cil_types.stmt) -> unit) -> t -> V.t -> unit
(Cil_types.varinfo * (Cil_types.varinfo list * Cil_types.stmt) -> unit) -> t -> V.t -> unit