def ckp.nz0

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

import Base

45def ckp.nz0(+e: {0n == 1n : Nat}) -> Empty:
46  %e : ckp.isz(_)
47  Unit{}