module Varinfo:sig
..end
typet =
Cil_types.varinfo
val prefix : string
val index : 'a -> 'a
val basename : Cil_types.varinfo -> string
val location : Cil_types.varinfo -> Log.source option
module H: Cil_datatype.Varinfo.Hashtbl
val pp_title : Format.formatter -> Cil_types.varinfo -> unit
val pp_descr : Format.formatter -> Cil_types.varinfo -> unit