Semantic.sent.seek: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/semantic.bend as Semantic
Lines 384-386 of bolt@1.27.0.0/src/lsp/semantic.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/semantic.bend&start_line=384&end_line=386

import Base

# the lines from a token's line on, from lines that start at line cur
def sent.seek(lines: List<&2, String>, cur: U32, line: U32) -> List<&2, String>:
  List.drop(&2, String, lines, U32.to_nat((line - cur : U32)))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.drop
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat