~/jendhub

def next

bolt@1.27.0.0 · src/rules/correctness/pick.bend:60

import bolt@1.27.0.0/src/rules/correctness/pick.bend as Pick
import Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex

60# the argument a token leaves the walk in: one further past a top-level comma
61def next(kk: Lex.TokKind, nth: Nat) -> Nat:
62  match kk:
63    case Lex.TComma{}:
64      1n+nth
65    case other:
66      nth

Uses (2)

Used by (1)