law octets_concat_cons

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

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

229law octets_concat_cons:
230  for h: B.Octets
231  for t: List<&2, B.Octets>
232  {B.Octets.concat(Con{h, t}) == B.Octets.append(h, B.Octets.concat(t)) : B.Octets}