Map (goblint.Goblint_lib.WitnessGhost.Map)

type t = Var.t

type marshal = RichVarinfo.BiVarinfoMap.Make(Var).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