def and_intro

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

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

import Base

296def and_intro(p: Bool, q: Bool, ep: {True{} == p : Bool}, eq: {True{} == q : Bool}) -> {True{} == Bool.and(p, q) : Bool}:
297  match p:
298    case True{}:
299      eq
300    case False{}:
301      %ep : BD(_, Unit, {True{} == False{} : Bool})
302      Unit{}

Uses (4)

Used by (4)