def internal_any_if_or

bend-mathlib@0.8.1.0 · list.bend:592

import Base

592def internal_any_if_or(b: Bool, -r: Bool, -s: Bool, -l: Bool, ih: {l == Bool.or(r, s) : Bool}) -> {List.any.if(u => l, b) == Bool.or(List.any.if(u => r, b), s) : Bool}:
593  match b:
594    case False{}:
595      ih
596    case True{}:
597      {==}