module VAR:sig
..end
typet =
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