def List.find
import Base1124def List.find(~A: Data, ~f: A -> Bool, xs: List<&2, A>) -> Maybe<&2, A>:
1125 match xs:
1126 case Nil{}:
1127 None{}
1128 case +h <> t:
1129 List.find.if(A, h, u => List.find(~A, ~f, t), f(h))
import Base1124def List.find(~A: Data, ~f: A -> Bool, xs: List<&2, A>) -> Maybe<&2, A>:
1125 match xs:
1126 case Nil{}:
1127 None{}
1128 case +h <> t:
1129 List.find.if(A, h, u => List.find(~A, ~f, t), f(h))