Module BoxD.V

type vartable = Goblint_lib__RelationDomain.VM.t BatHashtbl.Make(Goblint_lib__.GobApron.Var).t
val vh : vartable
val make_var : ?name:string -> Goblint_lib__RelationDomain.VM.t -> t
val find_metadata : t -> Goblint_lib__RelationDomain.VM.t Batteries.Option.t
val local : GoblintCil.varinfo -> t
val arg : GoblintCil.varinfo -> t
val return : t
val global : GoblintCil.varinfo -> t
val to_cil_varinfo : t -> GoblintCil.varinfo Batteries.Option.t