def ckp.bool

import bend-osdev-acpi@0.1.2.0/PROOF_checksum.bend as PROOFChecksum

import Base

27def ckp.bool(+b: Bool) -> Type:
28  match b:
29    case True{}:
30      Empty
31    case False{}:
32      Unit

Uses (3)