def CrModes.octets_of
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
172# The bytes of a list of blocks
173def CrModes.octets_of(~Blk: Data, ~blk_to: Blk -> B.Octets, bs: List<&2, Blk>) -> B.Octets:
174 B.Octets.concat(cr.blks.rev_onto(~B.Octets, cr.octets_of.go(~Blk, ~blk_to, bs, Nil{}), Nil{}))