law octets_len_be32

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

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

465law octets_len_be32:
466  for +v: U32
467  {B.Octets.len(B.Octets.be32(v)) == 4n : Nat}