law octets_of_to

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

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

123# every Octets is a valid byte string: to a list and back changes nothing
124law octets_of_to:
125  for o: B.Octets
126  {B.Octets.of_list(B.Octets.to_list(o)) == o : B.Octets}