def u64_div_small_signed
import bend-collections-laws-math@1.0.0.0/proofs/math/proof.bend as Proofimport 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/u64div.bend as PD
import bend-collections-laws-math@1.0.0.0/spec/math/u64.bend as SU
52def u64_div_small_signed(+a: U.U64, +d: U32, +hd0: {U32.is_zero(d) == False{} : Bool}, +hle: {U32.is_le(d, 1048576) == True{} : Bool}) -> SU.DivSmallSigned.quotient(a, d, hd0, hle):
53 PD.div_signed(a, d, hd0, hle)
Uses (7)
Used by (0)
No other definition uses this definition.