law octets_masked

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

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

133# Every Octets is masked: to_list(o) = to_list(of_list(to_list(o))) = mask(to_list(o))
134law octets_masked:
135  for +o: B.Octets
136  {B.mask(B.Octets.to_list(o)) == B.Octets.to_list(o) : List<&2, U32>}