Function valueSetGuard

valueSetGuard(a: Lift<ValueSet<Value[]>>): undefined | ValueSet<Value[]>
Returns a value set, if a is not bottom or top, otherwise undefined. Useful when working with values returned by resolveIdToValue
Parameters
- a: Lift<ValueSet<Value[]>>
  value set to check
Returns undefined | ValueSet<Value[]>
value set if a is not top or bottom
- Defined in src/dataflow/eval/values/general.ts:27