def key

bend-osdev-cast5@0.1.0.0 · check.bend:29

import Base
import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as L

29def key(~K: Data, r: Result<&2, &2, L.LcError, K>, d: K) -> K:
30  match r:
31    case Fail{e}:
32      d
33    case Done{k}:
34      k