jacket
Search the docs
/
API
Tools
Playground
0.31.0
Basic module
← Basic
Integer128
multiply_64bits_with_overflow
to_u128
to_s128
logical_shift_right
unsigned_divide_with_remainder
signed_divide_with_remainder
test_unsigned_division
On this page
See also
std
/
Basic
/
test_unsigned_division
test_unsigned_division
procedure · 1 overload
Source
test_unsigned_division
:: (random_iterations := 0, random_get: () ->
u64
= null)
Parameters
random_iterations := 0
random_get
:
() ->
u64
See also
unsigned_divide_with_remainder
signed_divide_with_remainder