def ckr.z0

bend-osdev-acpi@0.1.2.0 · PROOF_rsdp.bend:39

import Base
import bend-osdev-bytes@0.1.1.1/bytes.bend as B

39def ckr.z0() -> {B.Octets.zeros(0n) == B.Octets.empty() : B.Octets}:
40  {==}