sig
  module V :
    sig
      type t = Cil_types.varinfo * (Cil_types.varinfo list * Cil_types.stmt)
      val compare :
        Cil_datatype.Varinfo.t * '-> Cil_datatype.Varinfo.t * '-> int
      val equal :
        Cil_datatype.Varinfo.t * '-> Cil_datatype.Varinfo.t * '-> bool
      val hash : Cil_datatype.Varinfo.t * '-> 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