Tokens.code.tok: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/rules/tokens.bend as Tokens Lines 26-30 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=26&end_line=30 import Base import bolt@1.27.0.0/src/syntax/lex.bend as Lex # a string literal cut to its opening quote; any other token as it is def code.tok(tk: Lex.Tok) -> Lex.Tok: match tk: case Lex.Tok{+k, +t, l, c}: Lex.Tok{k, Bool.pick(String, Lex.is_str(k), code.cut(t), t), l, c} Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick 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/tokens.bend&name=code.cut 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=is_str