def List.all.if

Base · base.bend:1103

1103def List.all.if(rest: Unit -> Bool, hit: Bool) -> Bool:
1104  match hit:
1105    case False{}:
1106      False{}
1107    case True{}:
1108      rest(Unit{})