law dg_lt

lawful-fields@0.1.1.0 · proof_digits.bend:404

import Base

404law dg_lt:
405  for +x: Nat
406  {U32.is_lt(DG(x), 256) == True{} : Bool}