def b.disc

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

import Base

59def b.disc(+b: Bool) -> Type:
60  match b:
61    case False{}:
62      Unit
63    case True{}:
64      Empty

Uses (3)