def wn.bt

bend-osdev-word64@0.1.1.0 · proof_value.bend:23

import Base

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