def nonce_checked

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

import Base

375def nonce_checked(bytes: List<&2, U32>, size: {List.length(&2, U32, bytes) == 12n : Nat},
376                  valid: {bytes_valid(bytes) == True{} : Bool}) -> Result<&2, &2, Error, Nonce>:
377    Done{Nonce{bytes, size, valid}}