def Closed.find

bend-lint-rules@0.2.0.0 · lib/linter/directives.bend:711

import Base
import bend-lint-api@0.2.0.0/shared/lists.bend as Lists

711def Closed.find(closed: List<&2, Closed>, found: Maybe<&2, U32>, +index: U32) -> Maybe<&2, U32>:
712  match closed found:
713    case _ Some{line}:
714      Some{line}
715    case Nil{} None{}:
716      None{}
717    case Con{Closed{i, line}, rest} None{}:
718      Closed.find(rest, Lists.when(U32, U32.is_eq(i, index), line), index)