def key_checked

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

import Base

360def key_checked(bytes: List<&2, U32>, -size: {List.length(&2, U32, bytes) == 32n : Nat},
361                -valid: {bytes_valid(bytes) == True{} : Bool}) -> Result<&2, &2, Error, SecretKey>:
362    Done{SecretKey{bytes, size, valid}}