def internal_find_if

bend-mathlib@0.8.1.0 · list.bend:555

import Base

555def internal_find_if(-A: Data, h: A, r: Maybe<&2, A>, b: Bool) -> {internal_find_put(A, h, r, b) == List.find.if(A, h, u => r, b) : Maybe<&2, A>}:
556  match b:
557    case False{}:
558      {==}
559    case True{}:
560      {==}