Function flattenVectorElements

flattenVectorElements(s: Lift<Value[]>): Lift<Value[]>
Flattens all elements inside of a vector A set containing only one element is also replaced by its only element
Parameters
- s: Lift<Value[]>
  vector to flatten
Returns Lift<Value[]>
flattened vactor, if all elements are not bottom / top
- Defined in src/dataflow/eval/values/vectors/vector-constants.ts:26