~/jendhub

def pick

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

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

221def pick(c: Cnt, cur: Cnt) -> Cnt:
222  match c cur:
223    case Cnt{+a, +b, +k} Cnt{+x, +y, +m}:
224      pick2(Nat.is_lt(m, k), Cnt{a, b, k}, Cnt{x, y, m})

Uses (3)

Used by (1)