def internal_any_if

bend-mathlib@0.8.1.0 · list.bend:540

import Base

540def internal_any_if(b: Bool, -r: Bool) -> {Bool.or(b, r) == List.any.if(u => r, b) : Bool}:
541  match b:
542    case False{}:
543      {==}
544    case True{}:
545      {==}