law masks_elements

bend-osdev-bytes@0.1.1.0 · LAWS.bend:63

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

63law masks_elements:
64  {B.at([7, 264], 1n) == Some{8} : Maybe<&2, U32>}