def or_right

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

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

import Base

312def or_right(p: Bool, q: Bool, eq: {True{} == q : Bool}) -> {True{} == Bool.or(p, q) : Bool}:
313  match p:
314    case True{}:
315      {==}
316    case False{}:
317      eq

Uses (2)

Bool
Bool.or

Used by (1)

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