law pack4_bytes

lawful-words@0.1.0.0 · LAWS.bend:375

import Base
import lawful-words@0.1.0.0/defs.bend as D

375# Packing a word's four bytes gives the word back.
376law pack4_bytes:
377  for w: U32
378  {D.pack4(D.byte(w, 0n), D.byte(w, 1n), D.byte(w, 2n), D.byte(w, 3n)) == w : U32}