law cmblock_format

bend-osdev-crypto@0.1.0.0 · LAWS.bend:145

import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M
import bend-osdev-crypto@0.1.0.0/inst_cm.bend as CM

145law cmblock_format:
146  for +b: M.CmBlock
147  {CM.CrBlk128.of_octets(CM.CrBlk128.to_octets(b)) == Some{b} : Maybe<&2, M.CmBlock>}