law octets_drop_drop

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

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

305law octets_drop_drop:
306  for +j: Nat
307  for +i: Nat
308  for +o: B.Octets
309  {B.Octets.drop(i, B.Octets.drop(j, o)) == B.Octets.drop(Nat.add(j, i), o) : B.Octets}