~/jendhub

def cr.ctr.inc

bend-osdev-crypto@0.1.0.0 · modes.bend:241

import bend-osdev-crypto@0.1.0.0/modes.bend as Modes
import Base
import bend-osdev-crypto@0.1.0.0/stream.bend as St

241# the next counter block
242def cr.ctr.inc(xs: List<&2, U32>) -> List<&2, U32>:
243  cr.ctr.add1(St.cr.rev_onto(xs, Nil{}), True{}, Nil{})

Uses (5)

Used by (1)