sig
  type t = Cil_types.varinfo
  val compare :
    Cilutil.VarinfoComparable.t -> Cilutil.VarinfoComparable.t -> int
  val hash : Cilutil.VarinfoComparable.t -> int
  val equal :
    Cilutil.VarinfoComparable.t -> Cilutil.VarinfoComparable.t -> bool
end