def BD

bend-ml-tensor-array@0.1.19.0 · main.bend:539

import Base

539# a type chosen by a Bool: rewriting through it refutes True == False
540def BD(b: Bool, t: Type, f: Type) -> Type:
541  match b:
542    case True{}:
543      t
544    case False{}:
545      f