def seal_key

bend-collections@1.0.0.0 · src/crypto/aes/gcm.bend:195

import Base
import bend-collections@1.0.0.0/src/crypto/aes/aes.bend as A

195def seal_key(m: Maybe<&2, A.Schedule>, +nonce: List<&2, U32>, +aad: List<&2, U32>, +pt: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
196  match m:
197    case None{}:
198      None{}
199    case Some{sched}:
200      seal_nonce(sched, nonce, aad, pt)