def schedule_if

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

import Base

163def schedule_if(ok: Bool, +nk: Nat, +key: List<&2, U32>) -> Maybe<&2, Schedule>:
164  match ok:
165    case True{}:
166      Some{Schedule{Nat.add(nk, 6n), expand(nk, Nat.add(nk, 6n), key)}}
167    case False{}:
168      None{}