def List.any.if

Base · base.bend:1088

1088# Searches stop at the first decisive predicate; later elements are not tested.
1089def List.any.if(rest: Unit -> Bool, hit: Bool) -> Bool:
1090  match hit:
1091    case False{}:
1092      rest(Unit{})
1093    case True{}:
1094      True{}