Module lean_sys::int

source · [−]
Expand description

Integers

Constants

LEAN_MAX_SMALL_INT
LEAN_MIN_SMALL_INT

Functions

lean_big_int64_to_int⚠
lean_big_int_to_int⚠
lean_big_int_to_nat⚠
lean_big_size_t_to_int⚠
lean_cstr_to_int⚠
lean_int64_to_int⚠
lean_int_add⚠
lean_int_big_add⚠
lean_int_big_div⚠
lean_int_big_eq⚠
lean_int_big_le⚠
lean_int_big_lt⚠
lean_int_big_mod⚠
lean_int_big_mul⚠
lean_int_big_neg⚠
lean_int_big_nonneg⚠
lean_int_big_sub⚠
lean_int_dec_eq⚠
lean_int_dec_le⚠
lean_int_dec_lt⚠
lean_int_dec_nonneg⚠
lean_int_div⚠
lean_int_eq⚠
lean_int_le⚠
lean_int_lt⚠
lean_int_mod⚠
lean_int_mul⚠
lean_int_ne⚠
lean_int_neg⚠
lean_int_neg_succ_of_nat⚠
lean_int_sub⚠
lean_int_to_int⚠
lean_int_to_nat⚠
lean_nat_abs⚠
lean_nat_to_int⚠
lean_scalar_to_int⚠
lean_scalar_to_int64⚠