sig
type t = Cil_types.varinfo
val self : string
val hash : Cil_datatype.Varinfo.t -> int
val compare : Cil_datatype.Varinfo.t -> Cil_datatype.Varinfo.t -> int
val equal : Cil_datatype.Varinfo.t -> Cil_datatype.Varinfo.t -> bool
val pretty : Format.formatter -> Cil_datatype.Varinfo.t -> unit
val tau_of_chunk : 'a -> ('b, 'c) Qed.Logic.datatype
val basename_of_chunk : Cil_types.varinfo -> string
val is_framed : Cil_types.varinfo -> bool
end