def ckp.ft

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

import Base

34def ckp.ft(+e: {False{} == True{} : Bool}) -> Empty:
35  %e : ckp.bool(_)
36  Unit{}