def knl

bend-ml-bpe-tokenizer@0.1.3.0 · main.bend:154

import bend-ml-bpe-tokenizer@0.1.3.0/main.bend as BendMlBpeTokenizer

import Base

154def knl(+D: List<&2, Rule>, xs: List<&2, Tk>) -> Bool:
155  match xs:
156    case Nil{}:
157      True{}
158    case Con{x, t}:
159      Bool.and(kn(D, x), knl(D, t))

Uses (6)

Used by (7)