def or_left

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

import Base

304def or_left(p: Bool, q: Bool, ep: {True{} == p : Bool}) -> {True{} == Bool.or(p, q) : Bool}:
305  match p:
306    case True{}:
307      {==}
308    case False{}:
309      %ep : BD(_, Unit, {True{} == q : Bool})
310      Unit{}