def aes_key_from_no_size

qasim-bend-kit@0.1.0.2 · PROOF.bend:531

import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES

531def aes_key_from_no_size(+bytes: List<&2, U32>,
532    valid: Maybe<&0, {AES.bytes_valid(bytes) == True{} : Bool}>) ->
533    {AES.key_from_proofs(bytes, None{}, valid) == Fail{AES.InvalidKey{}} :
534      Result<&2, &2, AES.Error, AES.SecretKey>}:
535    {==}