law blocks64_octets_round_trip

bend-osdev-legacy-ciphers@0.1.0.0 · LAWS.bend:220

import Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L
import bend-osdev-legacy-ciphers@0.1.0.0/modes64.bend as X

220law blocks64_octets_round_trip:
221  for +bs: List<&2, L.LcBlock64>
222  {X.Lc64.blocks_of(X.Lc64.octets_of(bs)) == Done{bs} : Result<&2, &2, L.LcError, List<&2, L.LcBlock64>>}