VarVarinfoMap (goblint.Goblint_lib.DuplicateVars.VarVarinfoMap)

type t = VarType.t

type marshal = RichVarinfo.BiVarinfoMap.Make(VarType).marshal

val to_varinfo : t -> GoblintCil.varinfo

val unmarshal : marshal option -> unit

val marshal : unit -> marshal

val bindings : unit -> (t * GoblintCil.varinfo) list

val from_varinfo : GoblintCil.varinfo -> t option

val mem_varinfo : GoblintCil.varinfo -> bool

val describe_varinfo : GoblintCil.varinfo -> t -> string