Tokens.sig: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/rules/tokens.bend as Tokens Lines 9-16 of bolt@1.27.0.0/src/rules/tokens.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/tokens.bend&start_line=9&end_line=16 import Base import bolt@1.27.0.0/src/syntax/lex.bend as Lex # the tokens without space, newlines and comments def sig(toks: List<&2, Lex.Tok>) -> List<&2, Lex.Tok>: match toks: case Nil{}: Nil{} case Con{Lex.Tok{+k, t, l, c}, rest}: +more = sig(rest) Bool.pick(List<&2, Lex.Tok>, Lex.significant(k), Lex.Tok{k, t, l, c} <> more, more) Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=Tok https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=significant