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 : '-> ('b, 'c) Qed.Logic.datatype
  val basename_of_chunk : Cil_types.varinfo -> string
  val is_framed : Cil_types.varinfo -> bool
end