def Bool.disc_ft

lawful-arrays@0.1.0.0 · proof_base.bend:17

import Base

17def Bool.disc_ft(b: Bool) -> Type:
18  match b:
19    case False{}:
20      Unit
21    case True{}:
22      Empty