law octets_append_assoc

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

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

281law octets_append_assoc:
282  for +a: B.Octets
283  for +b: B.Octets
284  for +c: B.Octets
285  {B.Octets.append(B.Octets.append(a, b), c) == B.Octets.append(a, B.Octets.append(b, c)) : B.Octets}