def below

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

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

import Base

597# all ids in the rule list are smaller than i
598def below(D: List<&2, Rule>, +i: Nat) -> Bool:
599  match D:
600    case Nil{}:
601      True{}
602    case Con{Rule{+j, a, b}, t}:
603      Bool.and(Nat.is_lt(j, i), below(t, i))

Uses (6)

Used by (5)