~/jendhub

def annotate.ahead

bolt@1.27.0.0 · src/syntax/bind.bend:845

import bolt@1.27.0.0/src/syntax/bind.bend as Bind
import Base

845# the lines from line `line` on, given the lines from line `at` on: a step
846# forward from where the last binder was, not a walk from the first line
847def annotate.ahead(+line: U32, +at: U32, cur: List<&2, String>) -> List<&2, String>:
848  List.drop(&2, String, cur, U32.to_nat(U32.sub(line, at)))

Uses (6)

Used by (1)