def pk.disc

import bend-osdev-cbc@0.1.0.0/PROOF_padded.bend as PROOFPadded

import Base

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

Uses (3)