law octets_len_zeros

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

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

273law octets_len_zeros:
274  for +n: Nat
275  {B.Octets.len(B.Octets.zeros(n)) == n : Nat}