~/jendhub

def kn_new

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

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

458# the token created by the new rule is known
459def kn_new(+D: List<&2, Rule>, +i: Nat, +a: Tk, +b: Tk) -> {True{} == kn(Rule{i, a, b} <> D, M{i}) : Bool}:
460  or_left(Nat.is_eq(i, i), has(D, i), nat_eq_refl(i))

Uses (10)

Used by (1)