Empty.item.word: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/rules/suspicious/empty.bend as Empty Lines 329-335 of bolt@1.27.0.0/src/rules/suspicious/empty.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/suspicious/empty.bend&start_line=329&end_line=335 import Base import bolt@1.27.0.0/src/syntax/lex.bend as Lex # what is skipped after a keyword: a def is skipped when it is a proof def item.word(isdef: Bool, +word: String, rest: List<&2, Lex.Tok>, skip: Bool) -> Bool: match isdef: case True{}: proofy(rest, 0n, False{}) case False{}: item.other(word, skip) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/empty.bend&name=item.other https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/empty.bend&name=proofy https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=Tok