def ckp.isz

bend-osdev-acpi@0.1.2.0 · PROOF_checksum.bend:38

import Base

38def ckp.isz(+n: Nat) -> Type:
39  match n:
40    case 0n:
41      Unit
42    case 1n+p:
43      Empty