ExtVarMap (goblint.Goblint_lib.TransitionInvariant.ExtVarMap)

type t = ExtVar.t

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