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