law octets_take_append

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

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

146# a joined string splits back exactly where it was joined
147law octets_take_append:
148  for +a: B.Octets
149  for b: B.Octets
150  {B.Octets.take(B.Octets.len(a), B.Octets.append(a, b)) == a : B.Octets}