def Bool.disc_ft

minebender-game@1.0.0.0 · proof_base.bend:8

import Base

8def Bool.disc_ft(b: Bool) -> Type:
9  match b:
10    case False{}:
11      Unit
12    case True{}:
13      Empty