law mask_join_onto

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

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

202law mask_join_onto:
203  for bs: List<&2, M.CmBlock>
204  for +rest: List<&2, U32>
205  {B.mask(M.cm.join_onto(bs, rest)) == M.cm.join_onto(bs, B.mask(rest)) : List<&2, U32>}