law split_tail_masked

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

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

117# the tail of a masked split is masked
118law split_tail_masked:
119  for ys: List<&2, U32>
120  {B.mask(M.cm.split.tail(M.cm.split(B.mask(ys)))) == M.cm.split.tail(M.cm.split(B.mask(ys))) : List<&2, U32>}