law octets_len_list

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

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

142law octets_len_list:
143  for o: B.Octets
144  {B.Octets.len(o) == B.len(B.Octets.to_list(o)) : Nat}