def and_true_l

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

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

import Base

359def and_true_l(p: Bool, q: Bool, e: {True{} == Bool.and(p, q) : Bool}) -> {True{} == p : Bool}:
360  match p:
361    case True{}:
362      {==}
363    case False{}:
364      %e : BD(_, Unit, {True{} == False{} : Bool})
365      Unit{}

Uses (4)

Used by (6)