V (goblint.Goblint_lib.SharedFunctions.AssertionModule.V)

type t = GobApron.Var.t

type vartable =
  RelationDomain.VM.t RelationDomain.VarMetadataTbl(RelationDomain.VM).VH.t

val vh : vartable

val make_var : ?name:string -> RelationDomain.VM.t -> t

val find_metadata : t -> 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