law octets_append_empty_l

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

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

287law octets_append_empty_l:
288  for +o: B.Octets
289  {B.Octets.append(B.Octets.empty(), o) == o : B.Octets}