def bad_choices

cli@0.2.0.0 · cli.bend:1618

import Base

1618def bad_choices(items: List<&2, Item>) -> Bool:
1619  match items:
1620    case Nil{}: False{}
1621    case OneOf{+values} <> tail:
1622      Bool.or(Bool.or(List.is_empty(&2, String, values),
1623        duplicate_strings(values)), bad_choices(tail))
1624    case head <> tail: bad_choices(tail)