law pack4_bytes

lawful-words@0.1.0.0 · proof_bytes.bend:1338

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

1338law pack4_bytes:
1339  for +w: U32
1340  {D.pack4(D.byte(w, 0n), D.byte(w, 1n), D.byte(w, 2n), D.byte(w, 3n)) == w : U32}