sig
  type t = Cil_types.varinfo
  val self : string
  val hash : Cil_datatype.Varinfo.t -> int
  val equal : Cil_datatype.Varinfo.t -> Cil_datatype.Varinfo.t -> bool
  val compare : Cil_datatype.Varinfo.t -> Cil_datatype.Varinfo.t -> int
  val pretty : Format.formatter -> Cil_datatype.Varinfo.t -> unit
  val typ_of_param : Cil_types.varinfo -> Cil_types.typ
  val tau_of_chunk : Cil_types.varinfo -> Lang.tau
  val basename_of_chunk : Cil_types.varinfo -> string
  val is_framed : Cil_types.varinfo -> bool
end