Module RelationDomain.VM

type t =
  1. | Local of GoblintCil.varinfo
    (*

    Var for function local variable (or formal argument).

    *)
  2. | Arg of GoblintCil.varinfo
    (*

    Var for function formal argument entry value.

    *)
  3. | Return
    (*

    Var for function return value.

    *)
  4. | Global of GoblintCil.varinfo
val var_name : t -> string