Module RelationDomain.V

val vh : vartable
val make_var : ?name:string -> VM.t -> t
val find_metadata : t -> 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