law octets_zeros_list

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

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

133law octets_zeros_list:
134  for n: Nat
135  {B.Octets.to_list(B.Octets.zeros(n)) == B.zeros(n) : List<&2, U32>}