RichVarinfo.H
include G
include Stdlib.Hashtbl.HashedType
type t
val equal : t -> t -> bool
val hash : t -> int
val name_varinfo : t -> string
val describe_varinfo : GoblintCil.varinfo -> t -> string