Module nat 

Natural numbers

Constants

LEAN_MAX_SMALL_NAT

Functions

lean_big_uint64_to_nat^⚠

lean_big_usize_to_nat^⚠

lean_cstr_to_nat^⚠

lean_nat_add^⚠

lean_nat_big_add^⚠

lean_nat_big_div^⚠

lean_nat_big_div_exact^⚠

lean_nat_big_eq^⚠

lean_nat_big_land^⚠

lean_nat_big_le^⚠

lean_nat_big_lor^⚠

lean_nat_big_lt^⚠

lean_nat_big_mod^⚠

lean_nat_big_mul^⚠

lean_nat_big_shiftr^⚠

lean_nat_big_sub^⚠

lean_nat_big_succ^⚠

lean_nat_big_xor^⚠

lean_nat_dec_eq^⚠

lean_nat_dec_le^⚠

lean_nat_dec_lt^⚠

lean_nat_div^⚠

lean_nat_div_exact^⚠

assumes that a1 % a2 = 0

lean_nat_eq^⚠

lean_nat_gcd^⚠

lean_nat_land^⚠

lean_nat_le^⚠

lean_nat_log2^⚠

lean_nat_lor^⚠

lean_nat_lt^⚠

lean_nat_lxor^⚠

lean_nat_mod^⚠

lean_nat_mul^⚠

lean_nat_overflow_mul^⚠

lean_nat_pow^⚠

lean_nat_shiftl^⚠

lean_nat_shiftr^⚠

lean_nat_sub^⚠

lean_nat_succ^⚠

lean_uint64_to_nat^⚠

lean_unsigned_to_nat^⚠

lean_usize_to_nat^⚠