lean-rs-abi 0.3.1

Link-free Lean 4 ABI and toolchain metadata shared by lean-rs crates.
Documentation 
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101

pub const REQUIRED_SYMBOLS: &[&str] = &[
    // init / runtime
    "lean_initialize",
    "lean_initialize_runtime_module",
    "lean_initialize_thread",
    "lean_finalize_thread",
    "lean_setup_args",
    "lean_init_task_manager",
    "lean_init_task_manager_using",
    "lean_finalize_task_manager",
    "lean_internal_set_max_memory",
    // refcount + marking
    "lean_dec_ref_cold",
    "lean_mark_mt",
    "lean_mark_persistent",
    // object / allocators
    "lean_alloc_object",
    "lean_free_object",
    "lean_object_byte_size",
    "lean_object_data_byte_size",
    // arrays
    "lean_array_mk",
    "lean_array_push",
    "lean_array_to_list",
    "lean_array_get_panic",
    "lean_array_set_panic",
    // strings
    "lean_mk_string",
    "lean_mk_string_unchecked",
    "lean_mk_string_from_bytes",
    "lean_mk_string_from_bytes_unchecked",
    "lean_mk_ascii_string_unchecked",
    "lean_string_push",
    "lean_string_append",
    "lean_string_mk",
    "lean_string_data",
    "lean_string_utf8_get",
    "lean_string_utf8_next",
    "lean_string_utf8_prev",
    "lean_string_utf8_set",
    "lean_string_utf8_extract",
    "lean_string_eq_cold",
    "lean_string_lt",
    "lean_string_hash",
    "lean_utf8_strlen",
    "lean_utf8_n_strlen",
    // Nat bignum dispatch
    "lean_nat_big_succ",
    "lean_nat_big_add",
    "lean_nat_big_sub",
    "lean_nat_big_mul",
    "lean_nat_big_div",
    "lean_nat_big_mod",
    "lean_nat_big_eq",
    "lean_nat_big_le",
    "lean_nat_big_lt",
    "lean_nat_overflow_mul",
    // Int bignum dispatch
    "lean_int_big_neg",
    "lean_int_big_add",
    "lean_int_big_sub",
    "lean_int_big_mul",
    "lean_int_big_div",
    "lean_int_big_mod",
    "lean_int_big_eq",
    "lean_int_big_le",
    "lean_int_big_lt",
    "lean_int_big_nonneg",
    // scalar widening
    "lean_big_usize_to_nat",
    "lean_big_uint64_to_nat",
    "lean_cstr_to_nat",
    "lean_big_int_to_int",
    "lean_big_size_t_to_int",
    "lean_big_int64_to_int",
    "lean_cstr_to_int",
    "lean_uint8_of_big_nat",
    // closure dispatch
    "lean_apply_1",
    "lean_apply_2",
    "lean_apply_3",
    "lean_apply_4",
    "lean_apply_5",
    "lean_apply_6",
    "lean_apply_7",
    "lean_apply_8",
    "lean_apply_9",
    "lean_apply_10",
    "lean_apply_11",
    "lean_apply_12",
    "lean_apply_13",
    "lean_apply_14",
    "lean_apply_15",
    "lean_apply_16",
    "lean_apply_n",
    "lean_apply_m",
    // IO
    "lean_io_mark_end_initialization",
    // external
    "lean_register_external_class",
];