Put.calls.dotted: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/rules/correctness/put.bend as Put Lines 31-37 of bolt@1.27.0.0/src/rules/correctness/put.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/correctness/put.bend&start_line=31&end_line=37 import Base import bolt@1.27.0.0/src/syntax/lex.bend as Lex # a dotted name? def calls.dotted(kk: Lex.TokKind) -> Bool: match kk: case Lex.TDotted{}: True{} case other: False{} Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=TokKind