Syntax.VarUse
"Use" occurrence of the variable
type t
type var_type =
| Elementary
| Array
| String
| Enum
| Struct
type loc_type =
| SymVar of SymVar.t
| DirVar of DirVar.t
Location type of the variable
val create_sym : SymVar.t -> var_type -> t
val create_dir : DirVar.t -> var_type -> t
val get_name : t -> string
val get_ti : t -> TI.t
val get_loc : t -> loc_type