PROOFPadded.pd.fd: def of bend-osdev-cbc@0.1.0.0
Import: import bend-osdev-cbc@0.1.0.0/PROOF_padded.bend as PROOFPadded
Lines 52-54 of bend-osdev-cbc@0.1.0.0/PROOF_padded.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-cbc@0.1.0.0/PROOF_padded.bend&start_line=52&end_line=54

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

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cbc@0.1.0.0/PROOF_padded.bend&name=pd.disc
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-mode-core@0.1.0.0/mode_core.bend&name=CmError