~/jendhub

def item.word

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

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

329# what is skipped after a keyword: a def is skipped when it is a proof
330def item.word(isdef: Bool, +word: String, rest: List<&2, Lex.Tok>, skip: Bool) -> Bool:
331  match isdef:
332    case True{}:
333      proofy(rest, 0n, False{})
334    case False{}:
335      item.other(word, skip)

Uses (6)

Used by (1)