def binder

bolt@1.27.0.0 · src/rules/correctness/arms.bend:27

import Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex

27# a lone binder, inside `Succ{..}` or after `kn+`: a name or `_`
28def binder(kk: Lex.TokKind) -> Bool:
29  match kk:
30    case Lex.TName{}:
31      True{}
32    case Lex.TWild{}:
33      True{}
34    case other:
35      False{}