def aes_masked_bytes_cert_is_some

qasim-bend-kit@0.1.0.2 · proof/AES_EnvelopeProof.bend:715

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

715def aes_masked_bytes_cert_is_some(+bytes: List<&2, U32>) ->
716    {Maybe.is_some(&0,
717        {AES.bytes_valid(aes_hex_mask_bytes(bytes)) == True{} : Bool},
718        AES.aes_bytes_valid_proof(aes_hex_mask_bytes(bytes))) == True{} : Bool}:
719    +masked = aes_hex_mask_bytes(bytes)
720    Equal.trans(Bool,
721        Maybe.is_some(&0, {AES.bytes_valid(masked) == True{} : Bool},
722            AES.aes_bytes_valid_proof(masked)),
723        AES.bytes_valid(masked), True{},
724        aes_bytes_valid_status(masked, AES.bytes_valid(masked), {==}),
725        aes_hex_mask_bytes_valid(bytes))