type CrCtrState
import bend-osdev-crypto@0.1.0.0/modes.bend as Modesimport Base
213# the state: the key schedule, the next counter block (its bytes), and the
214# keystream bytes left over from the last block
215type CrCtrState<-K: Data> is Data:
216 CrCtrState{key: K, ctr: List<&2, U32>, buf: List<&2, U32>}