law list_mask_append

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

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

47law list_mask_append:
48  for +a: List<&2, U32>
49  for +b: List<&2, U32>
50  {B.mask(B.append(a, b)) == B.append(B.mask(a), B.mask(b)) : List<&2, U32>}