Pcbc.CrPcbc.next_iv: def of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/pcbc.bend as Pcbc
Lines 69-72 of bend-osdev-crypto@0.1.0.0/pcbc.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crypto@0.1.0.0/pcbc.bend&start_line=69&end_line=72

import Base

# The chaining value after the plaintext blocks ps encrypted to cs from v:
# the next call's v, so a message may arrive in pieces of whole blocks
def CrPcbc.next_iv(~Blk: Data, ~bxor: Blk -> Blk -> Blk, v: Blk, ps: List<&2, Blk>, cs: List<&2, Blk>) -> Blk:
  cr.pcbc.last(~Blk, ~bxor, ps, cs, v)

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/pcbc.bend&name=cr.pcbc.last