law mask_bytes_onto

bend-osdev-mode-core@0.1.0.0 · LAWS.bend:80

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-mode-core@0.1.0.0/mode_core.bend as M

80# the bytes of a block are bytes: masking changes nothing
81law mask_bytes_onto:
82  for b: M.CmBlock
83  for rest: List<&2, U32>
84  {B.mask(M.cm.bytes_onto(b, rest)) == M.cm.bytes_onto(b, B.mask(rest)) : List<&2, U32>}