def kn_mono

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

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

import Base

450# adding a rule to the table only increases what is known
451def kn_mono(+D: List<&2, Rule>, +i: Nat, +a: Tk, +b: Tk, t: Tk, kt: {True{} == kn(D, t) : Bool}) -> {True{} == kn(Rule{i, a, b} <> D, t) : Bool}:
452  match t:
453    case B{n}:
454      {==}
455    case M{+j}:
456      or_right(Nat.is_eq(j, i), has(D, j), kt)

Uses (9)

Used by (1)

bend-ml-bpe-tokenizer@0.1.3.0/main:kp