def Bool.disc_ft

lawful-words@0.1.0.0 · proof_nat.bend:10

import Base

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