def ule

import bend-osdev-u32@0.1.0.0/PROOF_order.bend as PROOFOrder

import Base

283def ule(+a: U32, +b: U32) -> Bool:
284  Cmp.is_le(U32.cmp(a, b))

Uses (4)