~/jendhub

def gcm_ctr_advance

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

import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCore
import Base

473def gcm_ctr_advance(fuel: Nat, +counter: List<&2, U32>) -> List<&2, U32>:
474    match fuel:
475        case 0n: counter
476        case 1n+p: gcm_ctr_advance(p, gcm_inc32(counter))

Uses (4)

Used by (0)

No other definition uses this definition.