def pd.fd

bend-osdev-cbc@0.1.0.0 · PROOF_padded.bend:52

import Base
import bend-osdev-mode-core@0.1.0.0/mode_core.bend as M

52def pd.fd(-A: Data, +e: M.CmError, +x: A, h: {Fail{e} == Done{x} : Result<&2, &2, M.CmError, A>}) -> Empty:
53  %h : pd.disc(A, _)
54  Unit{}