def aes_nonce_from_no_size

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

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

574def aes_nonce_from_no_size(+bytes: List<&2, U32>,
575    valid: Maybe<&0, {AES.bytes_valid(bytes) == True{} : Bool}>) ->
576    {AES.nonce_from_proofs(bytes, None{}, valid) == Fail{AES.InvalidNonce{}} :
577      Result<&2, &2, AES.Error, AES.Nonce>}:
578    {==}