def LE

bend-lawful-stdlib@0.1.0.0 · src/u32.bend:103

import Base
import bend-lawful-stdlib@0.1.0.0/src/nat.bend as Nat

103# a <= b on U32
104def LE(a: U32, b: U32) -> Data:
105  Nat.LE(U32.to_nat(a), U32.to_nat(b))