def value

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/kdf/proof.bend:22

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/kdf.bend as KDF

22def value(r: Result<&2, &2, KDF.KdfError, List<&2, U32>>) -> List<&2, U32>:
23  match r:
24    case Fail{e}:
25      Nil{}
26    case Done{x}:
27      x