blob: 9a30b253825901bb5a4318e603941a641ca0222b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
add_nat
blit_nat
compare_digits_nat
compare_nat
complement_nat
create_nat
decr_nat
div_digit_nat
div_nat
incr_nat
initialize_nat
is_digit_int
is_digit_normalized
is_digit_odd
is_digit_zero
land_digit_nat
lor_digit_nat
lxor_digit_nat
mult_digit_nat
mult_nat
nth_digit_nat
num_digits_nat
num_leading_zero_bits_in_digit
set_digit_nat
set_to_zero_nat
shift_left_nat
shift_right_nat
sub_nat
|
