def u64_le_signed

bend-collections-laws-math@1.0.0.0 · proofs/math/proof.bend:37

import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as U
import bend-collections-laws-math@1.0.0.0/proofs/math/u64/u64.bend as P
import bend-collections-laws-math@1.0.0.0/spec/math/u64.bend as SU

37def u64_le_signed(+a: U.U64, +b: U.U64) -> SU.LeSigned.value(a, b):
38  P.le_signed(a, b)