law octets_append_empty_r

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

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

291law octets_append_empty_r:
292  for +o: B.Octets
293  {B.Octets.append(o, B.Octets.empty()) == o : B.Octets}