def bq.bt

bend-osdev-algo@0.1.0.0 · proof_bsearch.bend:119

import Base

119def bq.bt(b: Bool) -> Type:
120  match b:
121    case True{}:
122      Unit
123    case False{}:
124      Empty