law octets_drop_append

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

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

152law octets_drop_append:
153  for a: B.Octets
154  for +b: B.Octets
155  {B.Octets.drop(B.Octets.len(a), B.Octets.append(a, b)) == b : B.Octets}