~/jendhub

def sent.seek

bolt@1.27.0.0 · src/lsp/semantic.bend:384

import bolt@1.27.0.0/src/lsp/semantic.bend as Semantic
import Base

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

Uses (6)

Used by (1)