def off.disc

import bend-osdev-bytes@0.1.1.0/PROOF.bend as PROOF

import Base

759def off.disc(b: Bool) -> Type:
760  match b:
761    case True{}:
762      Unit
763    case False{}:
764      Empty

Uses (3)