List of all items

Structs

• IncompleteArrayField
• alloc::LeanAlloc
• lean_array_object
• lean_closure_object
• lean_ctor_object
• lean_external_class
• lean_external_object
• lean_object
• lean_ref_object
• lean_sarray_object
• lean_string_object
• lean_task
• lean_task_imp
• lean_thunk_object

Functions

• array::high_level::lean_array_fget
• array::high_level::lean_array_fset
• array::high_level::lean_array_fswap
• array::high_level::lean_array_get
• array::high_level::lean_array_get_panic
• array::high_level::lean_array_get_size
• array::high_level::lean_array_pop
• array::high_level::lean_array_push
• array::high_level::lean_array_set
• array::high_level::lean_array_set_panic
• array::high_level::lean_array_swap
• array::high_level::lean_array_sz
• array::high_level::lean_array_uget
• array::high_level::lean_array_uset
• array::high_level::lean_array_uswap
• array::high_level::lean_copy_array
• array::high_level::lean_copy_expand_array
• array::high_level::lean_ensure_exclusive_array
• array::high_level::lean_mk_array
• array::high_level::lean_mk_empty_array
• array::high_level::lean_mk_empty_array_with_capacity
• array::low_level::lean_alloc_array
• array::low_level::lean_array_byte_size
• array::low_level::lean_array_capacity
• array::low_level::lean_array_cptr
• array::low_level::lean_array_data
• array::low_level::lean_array_get_core
• array::low_level::lean_array_mk
• array::low_level::lean_array_set_core
• array::low_level::lean_array_set_size
• array::low_level::lean_array_size
• c_int_load
• closure::lean_alloc_closure
• closure::lean_apply_1
• closure::lean_apply_10
• closure::lean_apply_11
• closure::lean_apply_12
• closure::lean_apply_13
• closure::lean_apply_14
• closure::lean_apply_15
• closure::lean_apply_16
• closure::lean_apply_2
• closure::lean_apply_3
• closure::lean_apply_4
• closure::lean_apply_5
• closure::lean_apply_6
• closure::lean_apply_7
• closure::lean_apply_8
• closure::lean_apply_9
• closure::lean_apply_m
• closure::lean_apply_n
• closure::lean_closure_arg_cptr
• closure::lean_closure_arity
• closure::lean_closure_fun
• closure::lean_closure_get
• closure::lean_closure_num_fixed
• closure::lean_closure_set
• constructor::lean_alloc_ctor
• constructor::lean_ctor_get
• constructor::lean_ctor_get_float
• constructor::lean_ctor_get_uint16
• constructor::lean_ctor_get_uint32
• constructor::lean_ctor_get_uint64
• constructor::lean_ctor_get_uint8
• constructor::lean_ctor_get_usize
• constructor::lean_ctor_num_objs
• constructor::lean_ctor_obj_cptr
• constructor::lean_ctor_release
• constructor::lean_ctor_scalar_cptr
• constructor::lean_ctor_set
• constructor::lean_ctor_set_float
• constructor::lean_ctor_set_tag
• constructor::lean_ctor_set_uint16
• constructor::lean_ctor_set_uint32
• constructor::lean_ctor_set_uint64
• constructor::lean_ctor_set_uint8
• constructor::lean_ctor_set_usize
• dbg::lean_dbg_sleep
• dbg::lean_dbg_trace
• dbg::lean_dbg_trace_if_shared
• external::lean_alloc_external
• external::lean_get_external_class
• external::lean_get_external_data
• external::lean_register_external_class
• init::lean_initialize
• init::lean_initialize_locked
• init::lean_initialize_runtime_module
• init::lean_initialize_runtime_module_locked
• int::lean_big_int64_to_int
• int::lean_big_int_to_int
• int::lean_big_int_to_nat
• int::lean_big_size_t_to_int
• int::lean_cstr_to_int
• int::lean_int64_to_int
• int::lean_int_add
• int::lean_int_big_add
• int::lean_int_big_div
• int::lean_int_big_ediv
• int::lean_int_big_emod
• int::lean_int_big_eq
• int::lean_int_big_le
• int::lean_int_big_lt
• int::lean_int_big_mod
• int::lean_int_big_mul
• int::lean_int_big_neg
• int::lean_int_big_nonneg
• int::lean_int_big_sub
• int::lean_int_dec_eq
• int::lean_int_dec_le
• int::lean_int_dec_lt
• int::lean_int_dec_nonneg
• int::lean_int_div
• int::lean_int_ediv
• int::lean_int_emod
• int::lean_int_eq
• int::lean_int_le
• int::lean_int_lt
• int::lean_int_mod
• int::lean_int_mul
• int::lean_int_ne
• int::lean_int_neg
• int::lean_int_neg_succ_of_nat
• int::lean_int_sub
• int::lean_int_to_int
• int::lean_int_to_nat
• int::lean_nat_abs
• int::lean_nat_to_int
• int::lean_scalar_to_int
• int::lean_scalar_to_int64
• io::lean_decode_io_error
• io::lean_io_mark_end_initialization
• io::lean_io_mk_world
• io::lean_io_result_get_error
• io::lean_io_result_get_value
• io::lean_io_result_is_error
• io::lean_io_result_is_ok
• io::lean_io_result_mk_error
• io::lean_io_result_mk_ok
• io::lean_io_result_show_error
• io::lean_mk_io_error_already_exists
• io::lean_mk_io_error_already_exists_file
• io::lean_mk_io_error_eof
• io::lean_mk_io_error_hardware_fault
• io::lean_mk_io_error_illegal_operation
• io::lean_mk_io_error_inappropriate_type
• io::lean_mk_io_error_inappropriate_type_file
• io::lean_mk_io_error_interrupted
• io::lean_mk_io_error_invalid_argument
• io::lean_mk_io_error_invalid_argument_file
• io::lean_mk_io_error_no_file_or_directory
• io::lean_mk_io_error_no_such_thing
• io::lean_mk_io_error_no_such_thing_file
• io::lean_mk_io_error_other_error
• io::lean_mk_io_error_permission_denied
• io::lean_mk_io_error_permission_denied_file
• io::lean_mk_io_error_protocol_error
• io::lean_mk_io_error_resource_busy
• io::lean_mk_io_error_resource_exhausted
• io::lean_mk_io_error_resource_exhausted_file
• io::lean_mk_io_error_resource_vanished
• io::lean_mk_io_error_time_expired
• io::lean_mk_io_error_unsatisfied_constraints
• io::lean_mk_io_error_unsupported_operation
• io::lean_mk_io_user_error
• layout_compat
• lean_align
• lean_alloc_ctor_memory
• lean_alloc_object
• lean_alloc_small
• lean_alloc_small_object
• lean_box
• lean_dealloc
• lean_dec
• lean_dec_ref
• lean_dec_ref_cold
• lean_free_object
• lean_free_small
• lean_free_small_object
• lean_get_rc_mt_addr
• lean_get_slot_idx
• lean_has_rc
• lean_inc
• lean_inc_heartbeat
• lean_inc_n
• lean_inc_ref
• lean_inc_ref_cold
• lean_inc_ref_n
• lean_inc_ref_n_cold
• lean_internal_panic
• lean_internal_panic_out_of_memory
• lean_internal_panic_rc_overflow
• lean_internal_panic_unreachable
• lean_is_array
• lean_is_big_object_tag
• lean_is_closure
• lean_is_ctor
• lean_is_exclusive
• lean_is_external
• lean_is_mpz
• lean_is_mt
• lean_is_persistent
• lean_is_ref
• lean_is_sarray
• lean_is_scalar
• lean_is_shared
• lean_is_st
• lean_is_string
• lean_is_task
• lean_is_thunk
• lean_mark_mt
• lean_mark_persistent
• lean_obj_tag
• lean_object_byte_size
• lean_panic_fn
• lean_ptr_other
• lean_ptr_tag
• lean_set_exit_on_panic
• lean_set_non_heap_header
• lean_set_non_heap_header_for_big
• lean_set_panic_messages
• lean_set_st_header
• lean_small_mem_size
• lean_small_object_size
• lean_to_array
• lean_to_closure
• lean_to_ctor
• lean_to_external
• lean_to_ref
• lean_to_sarray
• lean_to_string
• lean_to_task
• lean_to_thunk
• lean_unbox
• nat::lean_big_uint64_to_nat
• nat::lean_big_usize_to_nat
• nat::lean_cstr_to_nat
• nat::lean_nat_add
• nat::lean_nat_big_add
• nat::lean_nat_big_div
• nat::lean_nat_big_eq
• nat::lean_nat_big_land
• nat::lean_nat_big_le
• nat::lean_nat_big_lor
• nat::lean_nat_big_lt
• nat::lean_nat_big_mod
• nat::lean_nat_big_mul
• nat::lean_nat_big_sub
• nat::lean_nat_big_succ
• nat::lean_nat_big_xor
• nat::lean_nat_dec_eq
• nat::lean_nat_dec_le
• nat::lean_nat_dec_lt
• nat::lean_nat_div
• nat::lean_nat_eq
• nat::lean_nat_gcd
• nat::lean_nat_land
• nat::lean_nat_le
• nat::lean_nat_log2
• nat::lean_nat_lor
• nat::lean_nat_lt
• nat::lean_nat_lxor
• nat::lean_nat_mod
• nat::lean_nat_mul
• nat::lean_nat_overflow_mul
• nat::lean_nat_pow
• nat::lean_nat_shiftl
• nat::lean_nat_shiftr
• nat::lean_nat_sub
• nat::lean_nat_succ
• nat::lean_uint64_to_nat
• nat::lean_unsigned_to_nat
• nat::lean_usize_to_nat
• panic::panic_handler
• primitive::lean_bool_to_uint64
• primitive::lean_box_float
• primitive::lean_box_uint32
• primitive::lean_box_uint64
• primitive::lean_box_usize
• primitive::lean_float_add
• primitive::lean_float_beq
• primitive::lean_float_decLe
• primitive::lean_float_decLt
• primitive::lean_float_div
• primitive::lean_float_frexp
• primitive::lean_float_isfinite
• primitive::lean_float_isinf
• primitive::lean_float_isnan
• primitive::lean_float_mul
• primitive::lean_float_negate
• primitive::lean_float_scaleb
• primitive::lean_float_sub
• primitive::lean_float_to_string
• primitive::lean_float_to_uint16
• primitive::lean_float_to_uint32
• primitive::lean_float_to_uint64
• primitive::lean_float_to_uint8
• primitive::lean_float_to_usize
• primitive::lean_name_eq
• primitive::lean_name_hash
• primitive::lean_name_hash_ptr
• primitive::lean_ptr_addr
• primitive::lean_st_mk_ref
• primitive::lean_st_mk_ref_get
• primitive::lean_st_mk_ref_reset
• primitive::lean_st_mk_ref_set
• primitive::lean_st_mk_ref_swap
• primitive::lean_uint16_add
• primitive::lean_uint16_complement
• primitive::lean_uint16_dec_eq
• primitive::lean_uint16_dec_le
• primitive::lean_uint16_dec_lt
• primitive::lean_uint16_div
• primitive::lean_uint16_land
• primitive::lean_uint16_lor
• primitive::lean_uint16_mod
• primitive::lean_uint16_modn
• primitive::lean_uint16_mul
• primitive::lean_uint16_of_big_nat
• primitive::lean_uint16_of_nat
• primitive::lean_uint16_of_nat_mk
• primitive::lean_uint16_shift_left
• primitive::lean_uint16_shift_right
• primitive::lean_uint16_sub
• primitive::lean_uint16_to_nat
• primitive::lean_uint16_to_uint32
• primitive::lean_uint16_to_uint64
• primitive::lean_uint16_to_uint8
• primitive::lean_uint16_xor
• primitive::lean_uint32_add
• primitive::lean_uint32_big_modn
• primitive::lean_uint32_complement
• primitive::lean_uint32_dec_eq
• primitive::lean_uint32_dec_le
• primitive::lean_uint32_dec_lt
• primitive::lean_uint32_div
• primitive::lean_uint32_land
• primitive::lean_uint32_lor
• primitive::lean_uint32_mod
• primitive::lean_uint32_modn
• primitive::lean_uint32_mul
• primitive::lean_uint32_of_big_nat
• primitive::lean_uint32_of_nat
• primitive::lean_uint32_of_nat_mk
• primitive::lean_uint32_shift_left
• primitive::lean_uint32_shift_right
• primitive::lean_uint32_sub
• primitive::lean_uint32_to_nat
• primitive::lean_uint32_to_uint16
• primitive::lean_uint32_to_uint64
• primitive::lean_uint32_to_uint8
• primitive::lean_uint32_to_usize
• primitive::lean_uint32_xor
• primitive::lean_uint64_add
• primitive::lean_uint64_big_modn
• primitive::lean_uint64_complement
• primitive::lean_uint64_dec_eq
• primitive::lean_uint64_dec_le
• primitive::lean_uint64_dec_lt
• primitive::lean_uint64_div
• primitive::lean_uint64_land
• primitive::lean_uint64_lor
• primitive::lean_uint64_mix_hash
• primitive::lean_uint64_mod
• primitive::lean_uint64_modn
• primitive::lean_uint64_mul
• primitive::lean_uint64_of_big_nat
• primitive::lean_uint64_of_nat
• primitive::lean_uint64_of_nat_mk
• primitive::lean_uint64_shift_left
• primitive::lean_uint64_shift_right
• primitive::lean_uint64_sub
• primitive::lean_uint64_to_float
• primitive::lean_uint64_to_uint16
• primitive::lean_uint64_to_uint32
• primitive::lean_uint64_to_uint8
• primitive::lean_uint64_to_usize
• primitive::lean_uint64_xor
• primitive::lean_uint8_add
• primitive::lean_uint8_complement
• primitive::lean_uint8_dec_eq
• primitive::lean_uint8_dec_le
• primitive::lean_uint8_dec_lt
• primitive::lean_uint8_div
• primitive::lean_uint8_land
• primitive::lean_uint8_lor
• primitive::lean_uint8_mod
• primitive::lean_uint8_modn
• primitive::lean_uint8_mul
• primitive::lean_uint8_of_big_nat
• primitive::lean_uint8_of_nat
• primitive::lean_uint8_of_nat_mk
• primitive::lean_uint8_shift_left
• primitive::lean_uint8_shift_right
• primitive::lean_uint8_sub
• primitive::lean_uint8_to_nat
• primitive::lean_uint8_to_uint16
• primitive::lean_uint8_to_uint32
• primitive::lean_uint8_to_uint64
• primitive::lean_uint8_xor
• primitive::lean_unbox_float
• primitive::lean_unbox_uint32
• primitive::lean_unbox_uint64
• primitive::lean_unbox_usize
• primitive::lean_usize_add
• primitive::lean_usize_big_modn
• primitive::lean_usize_complement
• primitive::lean_usize_dec_eq
• primitive::lean_usize_dec_le
• primitive::lean_usize_dec_lt
• primitive::lean_usize_div
• primitive::lean_usize_land
• primitive::lean_usize_lor
• primitive::lean_usize_mix_hash
• primitive::lean_usize_mod
• primitive::lean_usize_modn
• primitive::lean_usize_mul
• primitive::lean_usize_of_big_nat
• primitive::lean_usize_of_nat
• primitive::lean_usize_of_nat_mk
• primitive::lean_usize_shift_left
• primitive::lean_usize_shift_right
• primitive::lean_usize_sub
• primitive::lean_usize_to_uint32
• primitive::lean_usize_to_uint64
• primitive::lean_usize_xor
• relaxed_rc_load
• sarray::byte::lean_byte_array_data
• sarray::byte::lean_byte_array_fget
• sarray::byte::lean_byte_array_fset
• sarray::byte::lean_byte_array_get
• sarray::byte::lean_byte_array_mk
• sarray::byte::lean_byte_array_push
• sarray::byte::lean_byte_array_set
• sarray::byte::lean_byte_array_size
• sarray::byte::lean_byte_array_uget
• sarray::byte::lean_byte_array_uset
• sarray::byte::lean_copy_byte_array
• sarray::byte::lean_mk_empty_byte_array
• sarray::float::lean_copy_float_array
• sarray::float::lean_float_array_cptr
• sarray::float::lean_float_array_data
• sarray::float::lean_float_array_fget
• sarray::float::lean_float_array_fset
• sarray::float::lean_float_array_get
• sarray::float::lean_float_array_mk
• sarray::float::lean_float_array_push
• sarray::float::lean_float_array_set
• sarray::float::lean_float_array_size
• sarray::float::lean_float_array_uget
• sarray::float::lean_float_array_uset
• sarray::float::lean_mk_empty_float_array
• sarray::lean_alloc_sarray
• sarray::lean_sarray_byte_size
• sarray::lean_sarray_capacity
• sarray::lean_sarray_cptr
• sarray::lean_sarray_elem_size
• sarray::lean_sarray_set_size
• sarray::lean_sarray_size
• string::lean_alloc_string
• string::lean_char_default_value
• string::lean_mk_string
• string::lean_mk_string_from_bytes
• string::lean_string_append
• string::lean_string_byte_size
• string::lean_string_capacity
• string::lean_string_cstr
• string::lean_string_data
• string::lean_string_dec_eq
• string::lean_string_dec_lt
• string::lean_string_eq
• string::lean_string_eq_cold
• string::lean_string_get_byte_fast
• string::lean_string_hash
• string::lean_string_len
• string::lean_string_length
• string::lean_string_lt
• string::lean_string_mk
• string::lean_string_ne
• string::lean_string_of_usize
• string::lean_string_push
• string::lean_string_size
• string::lean_string_utf8_at_end
• string::lean_string_utf8_byte_size
• string::lean_string_utf8_extract
• string::lean_string_utf8_get
• string::lean_string_utf8_get_fast
• string::lean_string_utf8_get_fast_cold
• string::lean_string_utf8_next
• string::lean_string_utf8_next_fast
• string::lean_string_utf8_next_fast_cold
• string::lean_string_utf8_prev
• string::lean_string_utf8_set
• string::lean_utf8_n_strlen
• string::lean_utf8_strlen
• task::lean_finalize_task_manager
• task::lean_init_task_manager
• task::lean_init_task_manager_using
• task::lean_io_cancel_core
• task::lean_io_check_canceled_core
• task::lean_io_get_task_state_core
• task::lean_io_wait_any_core
• task::lean_task_bind
• task::lean_task_bind_core
• task::lean_task_get
• task::lean_task_get_own
• task::lean_task_map
• task::lean_task_map_core
• task::lean_task_pure
• task::lean_task_spawn
• task::lean_task_spawn_core
• thread::lean_finalize_thread
• thread::lean_initialize_thread
• thunk::lean_mk_thunk
• thunk::lean_obj_res
• thunk::lean_thunk_get
• thunk::lean_thunk_get_core
• thunk::lean_thunk_get_own

Type Aliases

• b_lean_obj_arg
• b_lean_obj_res
• lean_external_finalize_proc
• lean_external_foreach_proc
• lean_obj_arg
• lean_obj_res
• lean_task_object
• u_lean_obj_arg

Statics

• init::LEAN_INIT_MUTEX

Constants

• LEAN_CLOSURE_MAX_ARGS
• LEAN_MAX_CTOR_FIELDS
• LEAN_MAX_CTOR_SCALARS_SIZE
• LEAN_MAX_SMALL_OBJECT_SIZE
• LEAN_OBJECT_SIZE_DELTA
• LEAN_SMALL_ALLOCATOR
• LeanArray
• LeanClosure
• LeanExternal
• LeanMPZ
• LeanMaxCtorTag
• LeanRef
• LeanReserved
• LeanScalarArray
• LeanString
• LeanStructArray
• LeanTask
• LeanThunk
• int::LEAN_MAX_SMALL_INT
• int::LEAN_MIN_SMALL_INT
• nat::LEAN_MAX_SMALL_NAT