def cm.blocks.len
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as CipherModesimport Base
202# the number of blocks (List.length)
203def cm.blocks.len(bs: List<&2, CmBlock>) -> Nat:
204 cm.blocks.len.go(bs, 0n)
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as CipherModesimport Base
202# the number of blocks (List.length)
203def cm.blocks.len(bs: List<&2, CmBlock>) -> Nat:
204 cm.blocks.len.go(bs, 0n)