List of all items

Structs

• supported::SupportedToolchain
• types::lean_object

Functions

• array::lean_alloc_array
• array::lean_alloc_sarray
• array::lean_array_capacity
• array::lean_array_cptr
• array::lean_array_get_core
• array::lean_array_get_panic
• array::lean_array_mk
• array::lean_array_push
• array::lean_array_set_core
• array::lean_array_set_panic
• array::lean_array_size
• array::lean_array_to_list
• array::lean_mk_array
• array::lean_sarray_capacity
• array::lean_sarray_cptr
• array::lean_sarray_elem_size
• array::lean_sarray_size
• 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
• ctor::lean_alloc_ctor
• ctor::lean_box_float
• ctor::lean_box_uint32
• ctor::lean_box_uint64
• ctor::lean_box_usize
• ctor::lean_ctor_get_float
• ctor::lean_ctor_get_uint16
• ctor::lean_ctor_get_uint32
• ctor::lean_ctor_get_uint64
• ctor::lean_ctor_get_uint8
• ctor::lean_ctor_get_usize
• ctor::lean_ctor_num_objs
• ctor::lean_ctor_obj_cptr
• ctor::lean_ctor_scalar_cptr
• ctor::lean_ctor_set_float
• ctor::lean_ctor_set_uint16
• ctor::lean_ctor_set_uint32
• ctor::lean_ctor_set_uint64
• ctor::lean_ctor_set_uint8
• ctor::lean_ctor_set_usize
• ctor::lean_unbox_float
• ctor::lean_unbox_uint32
• ctor::lean_unbox_uint64
• ctor::lean_unbox_usize
• external::lean_alloc_external
• external::lean_get_external_class
• external::lean_get_external_data
• external::lean_register_external_class
• init::lean_finalize_task_manager
• init::lean_finalize_thread
• init::lean_init_task_manager
• init::lean_init_task_manager_using
• init::lean_initialize
• init::lean_initialize_runtime_module
• init::lean_initialize_thread
• init::lean_setup_args
• io::lean_io_mark_end_initialization
• 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_take_value
• nat_int::lean_big_int64_to_int
• nat_int::lean_big_int_to_int
• nat_int::lean_big_size_t_to_int
• nat_int::lean_big_uint64_to_nat
• nat_int::lean_big_usize_to_nat
• nat_int::lean_cstr_to_int
• nat_int::lean_cstr_to_nat
• nat_int::lean_int_big_add
• nat_int::lean_int_big_div
• nat_int::lean_int_big_div_exact
• nat_int::lean_int_big_ediv
• nat_int::lean_int_big_emod
• nat_int::lean_int_big_eq
• nat_int::lean_int_big_le
• nat_int::lean_int_big_lt
• nat_int::lean_int_big_mod
• nat_int::lean_int_big_mul
• nat_int::lean_int_big_neg
• nat_int::lean_int_big_nonneg
• nat_int::lean_int_big_sub
• nat_int::lean_nat_big_add
• nat_int::lean_nat_big_div
• nat_int::lean_nat_big_div_exact
• nat_int::lean_nat_big_eq
• nat_int::lean_nat_big_le
• nat_int::lean_nat_big_lt
• nat_int::lean_nat_big_mod
• nat_int::lean_nat_big_mul
• nat_int::lean_nat_big_sub
• nat_int::lean_nat_big_succ
• nat_int::lean_nat_overflow_mul
• nat_int::lean_uint8_of_big_nat
• object::lean_alloc_object
• object::lean_box
• object::lean_free_object
• object::lean_is_array
• object::lean_is_closure
• object::lean_is_ctor
• object::lean_is_exclusive
• object::lean_is_external
• object::lean_is_mpz
• object::lean_is_mt
• object::lean_is_persistent
• object::lean_is_promise
• object::lean_is_ref
• object::lean_is_sarray
• object::lean_is_scalar
• object::lean_is_shared
• object::lean_is_st
• object::lean_is_string
• object::lean_is_task
• object::lean_is_thunk
• object::lean_obj_tag
• object::lean_object_byte_size
• object::lean_object_data_byte_size
• object::lean_ptr_other
• object::lean_ptr_tag
• object::lean_unbox
• refcount::lean_dec
• refcount::lean_dec_ref
• refcount::lean_dec_ref_cold
• refcount::lean_inc
• refcount::lean_inc_n
• refcount::lean_inc_ref
• refcount::lean_inc_ref_n
• refcount::lean_mark_mt
• refcount::lean_mark_persistent
• scalar::lean_int64_to_int
• scalar::lean_int_to_int
• scalar::lean_nat_to_int
• scalar::lean_scalar_to_int
• scalar::lean_scalar_to_int64
• scalar::lean_uint16_to_nat
• scalar::lean_uint32_to_nat
• scalar::lean_uint64_to_nat
• scalar::lean_uint8_of_nat
• scalar::lean_uint8_to_nat
• scalar::lean_unsigned_to_nat
• scalar::lean_usize_to_nat
• string::lean_mk_ascii_string_unchecked
• string::lean_mk_string
• string::lean_mk_string_from_bytes
• string::lean_mk_string_from_bytes_unchecked
• string::lean_mk_string_unchecked
• string::lean_string_append
• string::lean_string_byte_size
• string::lean_string_capacity
• string::lean_string_cstr
• string::lean_string_data
• string::lean_string_eq_cold
• string::lean_string_hash
• string::lean_string_len
• string::lean_string_lt
• string::lean_string_mk
• string::lean_string_push
• string::lean_string_size
• string::lean_string_utf8_extract
• string::lean_string_utf8_get
• string::lean_string_utf8_next
• string::lean_string_utf8_prev
• string::lean_string_utf8_set
• string::lean_utf8_n_strlen
• string::lean_utf8_strlen
• supported::supported_by_digest
• supported::supported_for
• supported::symbol_present_in_window
• symbol_in_all

Type Aliases

• external::lean_external_finalize_proc
• external::lean_external_foreach_proc
• types::b_lean_obj_arg
• types::b_lean_obj_res
• types::lean_obj_arg
• types::lean_obj_res
• types::u_lean_obj_arg

Constants

• REQUIRED_SYMBOLS
• consts::LEAN_ARRAY
• consts::LEAN_CLOSURE
• consts::LEAN_CLOSURE_MAX_ARGS
• consts::LEAN_EXTERNAL
• consts::LEAN_HEADER_DIGEST
• consts::LEAN_HEADER_PATH
• consts::LEAN_MAX_CTOR_FIELDS
• consts::LEAN_MAX_CTOR_SCALARS_SIZE
• consts::LEAN_MAX_CTOR_TAG
• consts::LEAN_MAX_SMALL_OBJECT_SIZE
• consts::LEAN_MPZ
• consts::LEAN_OBJECT_SIZE_DELTA
• consts::LEAN_PROMISE
• consts::LEAN_REF
• consts::LEAN_RESERVED
• consts::LEAN_RESOLVED_VERSION
• consts::LEAN_SCALAR_ARRAY
• consts::LEAN_STRING
• consts::LEAN_STRUCT_ARRAY
• consts::LEAN_TASK
• consts::LEAN_THUNK
• consts::LEAN_VERSION
• nat_int::LEAN_MAX_SMALL_INT
• nat_int::LEAN_MAX_SMALL_NAT
• nat_int::LEAN_MIN_SMALL_INT
• supported::SUPPORTED_TOOLCHAINS