~/jendhub

def kn_sub

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

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

419# if x == a and x is known, a is known too
420def kn_sub(+D: List<&2, Rule>, +x: Tk, +a: Tk, ex: {x == a : Tk}, kx: {True{} == kn(D, x) : Bool}) -> {True{} == kn(D, a) : Bool}:
421  %ex : {True{} == kn(D, _) : Bool}
422  kx

Uses (5)

Used by (1)