def List.find.if
import Base1117def List.find.if(-A: Data, h: A, rest: Unit -> Maybe<&2, A>, hit: Bool) -> Maybe<&2, A>:
1118 match hit:
1119 case False{}:
1120 rest(Unit{})
1121 case True{}:
1122 Some{h}
import Base1117def List.find.if(-A: Data, h: A, rest: Unit -> Maybe<&2, A>, hit: Bool) -> Maybe<&2, A>:
1118 match hit:
1119 case False{}:
1120 rest(Unit{})
1121 case True{}:
1122 Some{h}