law octets_split_at_append

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

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

157law octets_split_at_append:
158  for +a: B.Octets
159  for +b: B.Octets
160  {B.Octets.split_at(B.Octets.len(a), B.Octets.append(a, b)) == Some{B.OctetsSplit{a, b}} : Maybe<&2, B.OctetsSplit>}