def BD

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

import Base

259# a type chosen by a Bool: rewriting through it refutes True == False
260def BD(b: Bool, t: Type, f: Type) -> Type:
261  match b:
262    case True{}:
263      t
264    case False{}:
265      f