def Bool.disc

import minebender-game@1.0.0.0/PROOF.bend as PROOF

import Base

34def Bool.disc(b: Bool) -> Type:
35  match b:
36    case False{}:
37      Unit
38    case True{}:
39      Empty

Uses (3)