def gt.bt

bend-osdev-gf@0.1.1.0 · proof_tab.bend:23

import Base

23def gt.bt(b: Bool) -> Type:
24  match b:
25    case True{}:
26      Unit
27    case False{}:
28      Empty