Module Mem_lvalue.GraphDeps

module GraphDeps: sig .. end

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