def aes_bytes_valid_proof

qasim-bend-kit@0.1.0.2 · libs/AES256GCM.bend:356

import Base

356def aes_bytes_valid_proof(+bytes: List<&2, U32>) ->
357    Maybe<&0, {bytes_valid(bytes) == True{} : Bool}>:
358    aes_bytes_valid_from_bool(bytes, bytes_valid(bytes), {==})