def and_true_r

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

import Base

367def and_true_r(p: Bool, q: Bool, e: {True{} == Bool.and(p, q) : Bool}) -> {True{} == q : Bool}:
368  match p:
369    case True{}:
370      e
371    case False{}:
372      %e : BD(_, Unit, {True{} == q : Bool})
373      Unit{}