def open

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/chacha20poly1305.bend:61

import Base

61def open(+key: List<&2, U32>, +nonce: List<&2, U32>, +aad: List<&2, U32>, +data: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
62  open_len(Nat.is_lt(List.length(&2, U32, data), 16n), key, nonce, aad, data)