def after

bolt@1.27.0.0 · src/rules/digest.bend:167

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

167# the uses from the first one at or past the line on
168def after(us: List<&2, Bind.Use>, +at: U32) -> List<&2, Bind.Use>:
169  match us:
170    case Nil{}:
171      Nil{}
172    case Con{Bind.Use{nm, +l, c, tt}, +rest}:
173      Lazy.stop(List<&2, Bind.Use>, U32.is_le(at, l), Bind.Use{nm, l, c, tt} <> rest, _u => after(rest, at))