def schedule_if

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

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

209def schedule_if(ok: Bool, +key: List<&2, U32>) -> Maybe<&2, A.Schedule>:
210  match ok:
211    case True{}:
212      A.expand_key(key)
213    case False{}:
214      None{}