law octets_concat_nil

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

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

226law octets_concat_nil:
227  {B.Octets.concat(Nil{}) == B.Octets.empty() : B.Octets}