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