|
|
|---|
|
|
|
|---|
Check if a list of cases is safe.
(check-safe-swcase-list cases varset funtab) → modes
We return the empty set for the empty list of cases: having no cases contributes no termination modes. If the list of cases is not empty, we return the union of the termination modes of the first case with the union of the termination modes for the remaining cases.