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