def open_key

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

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

202def open_key(m: Maybe<&2, A.Schedule>, +nonce: List<&2, U32>, +aad: List<&2, U32>, +input: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
203  match m:
204    case None{}:
205      None{}
206    case Some{sched}:
207      open_nonce(sched, nonce, aad, input)