Modes.CrCtrState: type of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/modes.bend as Modes
Lines 213-216 of bend-osdev-crypto@0.1.0.0/modes.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crypto@0.1.0.0/modes.bend&start_line=213&end_line=216

import Base

# the state: the key schedule, the next counter block (its bytes), and the
# keystream bytes left over from the last block
type CrCtrState<-K: Data> is Data:
  CrCtrState{key: K, ctr: List<&2, U32>, buf: List<&2, U32>}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32