law le48

lawful-fields@0.1.1.0 · proof_num.bend:194

import Base

194# A digit byte: x - 48 does not wrap, and its value is at most 9.
195law le48:
196  for +x: U32
197  for +hge: {U32.is_ge(x, 48) == True{} : Bool}
198  {U32.is_le(48, x) == True{} : Bool}