def pd.disc

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

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

45def pd.disc(-A: Data, r: Result<&2, &2, M.CmError, A>) -> Type:
46  match r:
47    case Fail{e}:
48      Unit
49    case Done{x}:
50      Empty