law witness_octets_over

bend-osdev-bpf@0.1.0.0 · LAWS.bend:346

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

346law witness_octets_over:
347  {B.Octets.at(B.Octets.zeros(9n), 8n) == Some{0} : Maybe<&2, U32>}