def tok.is

yaml-for-bend@0.1.1.0 · parse.bend:238

import Base
import yaml-for-bend@0.1.1.0/token.bend as T

238def tok.is(+t: T.Token, k: Nat) -> Bool:
239  Nat.is_eq(kind.index(tok.kind(t)), k)