def cm.blocks.len.go

bend-osdev-cipher-modes@0.1.0.0 · cipher_modes.bend:195

import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as CipherModes

import Base

195def cm.blocks.len.go(bs: List<&2, CmBlock>, n: Nat) -> Nat:
196  match bs:
197    case Nil{}:
198      n
199    case Con{b, t}:
200      cm.blocks.len.go(t, 1n+n)

Uses (3)

Used by (3)