def aes_bytes_valid_none_if_false

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

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

466def aes_bytes_valid_none_if_false(+bytes: List<&2, U32>,
467    no: {AES.bytes_valid(bytes) == False{} : Bool}) ->
468    {AES.aes_bytes_valid_proof(bytes) == None{} :
469      Maybe<&0, {AES.bytes_valid(bytes) == True{} : Bool}>}:
470    aes_bytes_proof_none_if_invalid(bytes,
471        AES.aes_bytes_valid_proof(bytes), no)