def smaller.start

bend-kit-property@0.4.0.0 · property.bend:28

import Base

28def smaller.start(~T: Type, ~test: T -> T & Bool, xs: List<&1, T>) -> Maybe<&1, T>:
29  match xs:
30    case Nil{}:
31      None{}
32    case Con{x, rest}:
33      smaller(~T, ~test, rest, test(x))