def pk.disc

import bend-osdev-pkcs7@0.1.0.0/PROOF.bend as PROOF

import Base

25def pk.disc(b: Bool) -> Type:
26  match b:
27    case False{}:
28      Unit
29    case True{}:
30      Empty

Uses (3)