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