def is_done

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

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

15def is_done(r: Result<&2, &2, KDF.KdfError, List<&2, U32>>) -> Bool:
16  match r:
17    case Fail{e}:
18      False{}
19    case Done{x}:
20      True{}