module V:sig
..end
typet =
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