law streaming32

bend-osdev-crc@0.1.0.0 · LAWS.bend:13

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-crc@0.1.0.0/crc.bend as C

13law streaming32:
14  for spec: C.Crc32Spec
15  for c: U32
16  for +a: B.Octets
17  for +b: B.Octets
18  {C.Crc32Spec.update(spec, c, B.Octets.append(a, b)) == C.Crc32Spec.update(spec, C.Crc32Spec.update(spec, c, a), b) : U32}