def cr.ctr.block
import bend-osdev-crypto@0.1.0.0/modes.bend as Modesimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
245def cr.ctr.block(~K: Data, ~Blk: Data, ~enc: K -> Blk -> Blk, ~blk_to: Blk -> B.Octets, m: Maybe<&2, Blk>, +k: K) -> List<&2, U32>:
246 match m:
247 case None{}:
248 Nil{}
249 case Some{b}:
250 B.Octets.to_list(blk_to(enc(k, b)))