def aes_rounds.go

qasim-bend-kit@0.1.0.2 · libs/AES256GCMCore.bend:229

import Base

229def aes_rounds.go(fuel: Nat, +state: List<&2, U32>, +words: List<&2, U32>, +round: Nat) -> List<&2, U32>:
230    match fuel:
231        case 0n: aes_final_round(state, words)
232        case 1n+p:
233            aes_rounds.go(p, aes_middle_round(state, words, round), words, (round + 1n : Nat))