~/jendhub

def pd.val

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

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

56def pd.val(-A: Data, r: Result<&2, &2, M.CmError, A>, d: A) -> A:
57  match r:
58    case Fail{e}:
59      d
60    case Done{x}:
61      x

Uses (2)

Used by (1)