sig
module V :
sig
type t = Cil_types.varinfo * (Cil_types.varinfo list * Cil_types.stmt)
val compare :
Cil_datatype.Varinfo.t * 'a -> Cil_datatype.Varinfo.t * 'b -> int
val equal :
Cil_datatype.Varinfo.t * 'a -> Cil_datatype.Varinfo.t * 'b -> bool
val hash : Cil_datatype.Varinfo.t * 'a -> int
end
type t = Mem_lvalue.GraphDeps.V.t list
val iter_vertex :
(Mem_lvalue.GraphDeps.V.t -> unit) -> Mem_lvalue.GraphDeps.t -> unit
val iter_succ :
(Cil_types.varinfo * (Cil_types.varinfo list * Cil_types.stmt) -> unit) ->
Mem_lvalue.GraphDeps.t -> Mem_lvalue.GraphDeps.V.t -> unit
end