def head.is

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

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

349def head.is(ts: List<&2, T.Token>, k: Nat) -> Bool:
350  match ts:
351    case Nil{}:
352      False{}
353    case Con{+t, rest}:
354      tok.is(t, k)

Uses (5)

Used by (1)