def item

bolt@1.27.0.0 · src/rules/suspicious/empty.bend:337

import bolt@1.27.0.0/src/rules/suspicious/empty.bend as Empty

import Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex

337# what is skipped after a token: a law, and a def that is a proof, never run
338def item(+kk: Lex.TokKind, +tt: String, rest: List<&2, Lex.Tok>, skip: Bool) -> Bool:
339  match kk:
340    case Lex.TKey{}:
341      item.word(String.eq(code(kk, tt), "def"), code(kk, tt), rest, skip)
342    case other:
343      skip

Uses (8)

Used by (1)

bolt@1.27.0.0/src/rules/suspicious/empty:walk