law byte_below_256

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

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

34law byte_below_256:
35  for b: U32
36  {U32.is_lt(B.byte(b), 256) == True{} : Bool}