def gcm_ctr_step_counter

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

import Base

494def gcm_ctr_step_counter(step: GcmCtrStep) -> List<&2, U32>:
495    match step:
496        case GcmCtrStep{_, counter, _}: counter