def any
import ezx@1.11.0.0/src/pub/plan.bend as Planimport Base
728# whether a list holds anything
729def any(xs: List<&2, String>) -> Bool:
730 match xs:
731 case []:
732 False{}
733 case _h <> _t:
734 True{}
import ezx@1.11.0.0/src/pub/plan.bend as Planimport Base
728# whether a list holds anything
729def any(xs: List<&2, String>) -> Bool:
730 match xs:
731 case []:
732 False{}
733 case _h <> _t:
734 True{}