law lt256

lawful-words@0.1.0.0 · proof_bytes.bend:1089

import Base

1089# A U32 test b < 256 as numbers.
1090law lt256:
1091  for +b: U32
1092  for +h: {U32.is_lt(b, 256) == True{} : Bool}
1093  {Nat.is_lt(U32.to_nat(b), Nat.pow(2n, 8n)) == True{} : Bool}