law octets_slice_drop

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

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

374law octets_slice_drop:
375  for +j: Nat
376  for +i: Nat
377  for +n: Nat
378  for +o: B.Octets
379  {B.Octets.slice(i, n, B.Octets.drop(j, o)) == B.Octets.slice(Nat.add(j, i), n, o) : B.Octets}