def le

import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/src/wide.bend as Wide

import Base

48def le(+a: Word(64n), +b: Word(64n)) -> Bool:
49  signed_order(a, b, last(64n, a), last(64n, b))

Uses (4)