Bind.seek: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/bind.bend as Bind
Lines 1003-1015 of bolt@1.27.0.0/src/syntax/bind.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&start_line=1003&end_line=1015

import Base

# the binders from the first one not before a position on; the binders are in
# source order, so none this drops sits at the position. stop is seek.stop of
# binds, carried so the step stays a loop
def seek(binds: List<&2, Bind>, +line: U32, +col: U32, +stop: Bool) -> List<&2, Bind>:
  match binds:
    case Nil{}:
      Nil{}
    case Con{h, +rest}:
      match stop:
        case True{}:
          h <> rest
        case False{}:
          seek(rest, line, col, seek.stop(rest, line, col))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=Bind
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=seek.stop