def refine
import bolt@1.27.0.0/src/syntax/lex.bend as Leximport Base
275# a name's or an operator's kind, once its text is whole
276def refine(kind: TokKind, tt: String) -> TokKind:
277 match kind:
278 case TName{}:
279 refine_name(tt)
280 case TOp{}:
281 refine_op(tt)
282 case other:
283 other