def key

bend-osdev-legacy-ciphers@0.1.0.0 · check.bend:65

import Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L

65def key(~K: Data, r: Result<&2, &2, L.LcError, K>, d: K) -> K:
66  match r:
67    case Fail{e}:
68      d
69    case Done{k}:
70      k