type collection =
| List
| Set
| Tuple
| Map
type t =
| Const of Const.t
| Var of ScopedIdent.t
| Temp of SSA.t
| Subscript of {
exp : t;
index : t;
}
| BuildSlice of t list
| BuildString of t list
| BuildFrozenSet of t list
| Collection of {
kind : collection;
values : t list;
unpack : bool;
}
| GetAttr of t * string
| Yield of t