Functions — github.com/digama0/lean-sys

hub / github.com/digama0/lean-sys / functions

Functions538 in github.com/digama0/lean-sys

⨍ Functions 538◇ Types & classes 15

↓ 82 callersFunctionlean_is_scalar

(obj: *const lean_object)

src/lib.rs:117

↓ 68 callersFunctionlean_unbox

(o: *const lean_object)

src/lib.rs:139

↓ 31 callersFunctionlean_box

(n: usize)

src/lib.rs:131

↓ 22 callersFunctionlean_scalar_to_int64

(a: b_lean_obj_arg)

src/int.rs:36

↓ 18 callersFunctionlean_ctor_obj_cptr

(o: *mut lean_object)

src/constructor.rs:11

↓ 15 callersFunctionlean_dec

(o: *mut lean_object)

src/lib.rs:332

↓ 14 callersFunctionlean_int64_to_int

(n: i64)

src/int.rs:26

↓ 14 callersFunctionlean_ptr_tag

(o: *const lean_object)

src/lib.rs:250

↓ 9 callersFunctionlean_scalar_to_int

(a: b_lean_obj_arg)

src/int.rs:42

↓ 8 callersFunctionlean_array_size

(o: b_lean_obj_arg)

src/array/low_level.rs:16

↓ 8 callersFunctionlean_set_st_header

(o: *mut lean_object, tag: c_uint, other: c_uint)

src/lib.rs:488

↓ 7 callersFunctionlean_alloc_ctor

( tag: c_uint, num_objs: c_uint, scalar_sz: c_uint, )

src/constructor.rs:23

↓ 7 callersFunctionlean_sarray_size

(o: *const lean_object)

src/sarray/mod.rs:37

↓ 6 callersFunctionlean_alloc_small_object

(sz: c_uint)

src/lib.rs:156

↓ 6 callersFunctionlean_inc

(o: *mut lean_object)

src/lib.rs:318

↓ 6 callersFunctionlean_string_size

(o: b_lean_obj_arg)

src/string.rs:38

↓ 6 callersFunctionlean_usize_to_nat

(n: usize)

src/nat.rs:7

↓ 5 callersFunctionlean_is_exclusive

(o: *mut lean_object)

src/lib.rs:463

↓ 5 callersFunctionrelaxed_rc_load

(o: *const lean_object)

src/lib.rs:273

↓ 4 callersFunctionlean_align

(v: usize, a: usize)

src/lib.rs:144

↓ 4 callersFunctionlean_ctor_set

(o: b_lean_obj_arg, i: c_uint, v: lean_obj_arg)

src/constructor.rs:49

↓ 4 callersFunctionlean_get_rc_mt_addr

(o: *mut lean_object)

src/lib.rs:290

↓ 3 callersFunctionlean_array_cptr

(o: b_lean_obj_arg)

src/array/low_level.rs:37

↓ 3 callersFunctionlean_array_get_core

(o: b_lean_obj_arg, i: usize)

src/array/low_level.rs:50

↓ 3 callersFunctionlean_ctor_get

(o: b_lean_obj_arg, i: c_uint)

src/constructor.rs:43

↓ 3 callersFunctionlean_ensure_exclusive_array

(a: lean_obj_arg)

src/array/high_level.rs:92

↓ 3 callersFunctionlean_get_slot_idx

(sz: c_uint)

src/lib.rs:149

↓ 3 callersFunctionlean_is_st

(o: *const lean_object)

src/lib.rs:267

↓ 3 callersFunctionlean_sarray_cptr

(o: *mut lean_object)

src/sarray/mod.rs:54

↓ 3 callersFunctionlean_string_cstr

(o: b_lean_obj_arg)

src/string.rs:32

↓ 3 callersFunctionlean_uint64_to_nat

(n: u64)

src/nat.rs:22

↓ 2 callersMethodas_ptr

(&self)

src/types/incomplete_array.rs:14

↓ 2 callersFunctionlean_alloc_array

(size: usize, capacity: usize)

src/array/low_level.rs:5

↓ 2 callersFunctionlean_alloc_sarray

(elem_size: c_uint, size: usize, capacity: usize)

src/sarray/mod.rs:10

↓ 2 callersFunctionlean_array_uget

(a: b_lean_obj_arg, i: usize)

src/array/high_level.rs:30

↓ 2 callersFunctionlean_array_uset

(a: lean_obj_arg, i: usize, v: lean_obj_arg)

src/array/high_level.rs:101

↓ 2 callersFunctionlean_array_uswap

(a: lean_obj_arg, i: usize, j: usize)

src/array/high_level.rs:148

↓ 2 callersFunctionlean_byte_array_uget

(a: b_lean_obj_arg, i: usize)

src/sarray/byte.rs:18

↓ 2 callersFunctionlean_byte_array_uset

(a: lean_obj_arg, i: usize, v: u8)

src/sarray/byte.rs:44

↓ 2 callersFunctionlean_ctor_get_uint64

(o: b_lean_obj_arg, offset: c_uint)

src/constructor.rs:93

↓ 2 callersFunctionlean_dec_ref

(o: *mut lean_object)

src/lib.rs:309

↓ 2 callersFunctionlean_float_array_cptr

(a: b_lean_obj_arg)

src/sarray/float.rs:22

↓ 2 callersFunctionlean_float_array_uget

(a: b_lean_obj_arg, i: usize)

src/sarray/float.rs:27

↓ 2 callersFunctionlean_float_array_uset

(a: lean_obj_arg, i: usize, v: f64)

src/sarray/float.rs:53

↓ 2 callersFunctionlean_inc_ref_n

(o: *mut lean_object, n: usize)

src/lib.rs:295

↓ 2 callersFunctionlean_int_eq

(a1: b_lean_obj_arg, a2: b_lean_obj_arg)

src/int.rs:221

↓ 2 callersFunctionlean_int_lt

(a1: b_lean_obj_arg, a2: b_lean_obj_arg)

src/int.rs:240

↓ 2 callersFunctionlean_int_neg

(a: b_lean_obj_arg)

src/int.rs:62

↓ 2 callersFunctionlean_int_to_int

(n: c_int)

src/int.rs:16

↓ 2 callersFunctionlean_int_to_nat

(a: lean_obj_arg)

src/int.rs:249

↓ 2 callersFunctionlean_ptr_other

(o: *const lean_object)

src/lib.rs:255

↓ 2 callersFunctionlean_sarray_elem_size

(o: *const lean_object)

src/sarray/mod.rs:21

↓ 2 callersFunctionlean_string_eq

(s1: b_lean_obj_arg, s2: b_lean_obj_arg)

src/string.rs:68

↓ 1 callersMethodas_mut_ptr

(&mut self)

src/types/incomplete_array.rs:18

↓ 1 callersFunctionc_int_load

(p: *const c_int, order: Ordering)

src/lib.rs:87

↓ 1 callersMethoddealloc

(&self, ptr: *mut u8, layout: Layout)

src/alloc.rs:38

↓ 1 callersFunctionlean_alloc_ctor_memory

(sz: c_uint)

src/lib.rs:189

↓ 1 callersFunctionlean_alloc_external

( cls: *mut lean_external_class, data: *mut c_void, )

src/external.rs:5

↓ 1 callersFunctionlean_array_capacity

(o: b_lean_obj_arg)

src/array/low_level.rs:21

↓ 1 callersFunctionlean_copy_array

(a: lean_obj_arg)

src/array/high_level.rs:87

↓ 1 callersFunctionlean_ctor_get_float

(o: b_lean_obj_arg, offset: c_uint)

src/constructor.rs:99

↓ 1 callersFunctionlean_ctor_get_float32

(o: b_lean_obj_arg, offset: c_uint)

src/constructor.rs:105

↓ 1 callersFunctionlean_ctor_get_uint32

(o: b_lean_obj_arg, offset: c_uint)

src/constructor.rs:87

↓ 1 callersFunctionlean_ctor_get_usize

(o: b_lean_obj_arg, i: c_uint)

src/constructor.rs:69

↓ 1 callersFunctionlean_ctor_num_objs

(o: *mut lean_object)

src/constructor.rs:5

↓ 1 callersFunctionlean_ctor_set_float

(o: b_lean_obj_arg, offset: c_uint, v: f64)

src/constructor.rs:143

↓ 1 callersFunctionlean_ctor_set_float32

(o: b_lean_obj_arg, offset: c_uint, v: f32)

src/constructor.rs:149

↓ 1 callersFunctionlean_ctor_set_uint32

(o: b_lean_obj_arg, offset: c_uint, v: u32)

src/constructor.rs:131

↓ 1 callersFunctionlean_ctor_set_uint64

(o: b_lean_obj_arg, offset: c_uint, v: u64)

src/constructor.rs:137

↓ 1 callersFunctionlean_ctor_set_usize

(o: b_lean_obj_arg, i: c_uint, v: usize)

src/constructor.rs:111

↓ 1 callersFunctionlean_get_external_class

(o: *mut lean_object)

src/external.rs:17

↓ 1 callersFunctionlean_inc_ref

(o: *mut lean_object)

src/lib.rs:304

↓ 1 callersFunctionlean_initialize_locked

A helper function to call [`lean_initialize`] while holding the [`LEAN_INIT_MUTEX`]./// This is equivalent to writing ```rust # use lean_sys::*; unsaf

src/init.rs:50

↓ 1 callersFunctionlean_initialize_runtime_module_locked

A helper function to call [`lean_initialize_runtime_module`] while holding the [`LEAN_INIT_MUTEX`]. This is equivalent to writing ```rust # use lean_

src/init.rs:35

↓ 1 callersFunctionlean_int_le

(a1: b_lean_obj_arg, a2: b_lean_obj_arg)

src/int.rs:231

↓ 1 callersFunctionlean_name_hash_ptr

(n: b_lean_obj_arg)

src/primitive/name.rs:10

↓ 1 callersFunctionlean_nat_eq

(a1: b_lean_obj_arg, a2: b_lean_obj_arg)

src/nat.rs:117

↓ 1 callersFunctionlean_nat_le

(a1: b_lean_obj_arg, a2: b_lean_obj_arg)

src/nat.rs:127

↓ 1 callersFunctionlean_nat_lt

(a1: b_lean_obj_arg, a2: b_lean_obj_arg)

src/nat.rs:142

↓ 1 callersFunctionlean_nat_mod

(a1: b_lean_obj_arg, a2: b_lean_obj_arg)

src/nat.rs:102

↓ 1 callersFunctionlean_nat_mul

(a1: b_lean_obj_arg, a2: b_lean_obj_arg)

src/nat.rs:62

↓ 1 callersFunctionlean_nat_succ

(a: b_lean_obj_arg)

src/nat.rs:32

↓ 1 callersFunctionlean_nat_to_int

(a: lean_obj_arg)

src/int.rs:48

↓ 1 callersFunctionlean_sarray_capacity

(o: *const lean_object)

src/sarray/mod.rs:27

↓ 1 callersFunctionlean_set_non_heap_header

(o: *mut lean_object, sz: usize, tag: c_uint, other: c_uint)

src/lib.rs:501

↓ 1 callersFunctionlean_string_capacity

(o: *mut lean_object)

src/string.rs:16

↓ 1 callersFunctionlean_string_len

(o: b_lean_obj_arg)

src/string.rs:43

↓ 1 callersFunctionlean_thunk_get

(t: b_lean_obj_arg)

src/thunk.rs:29

↓ 1 callersFunctionlean_uint16_of_nat

(a: b_lean_obj_arg)

src/primitive/uint16.rs:4

↓ 1 callersFunctionlean_uint32_of_nat

(a: b_lean_obj_arg)

src/primitive/uint32.rs:4

↓ 1 callersFunctionlean_uint64_of_nat

(a: b_lean_obj_arg)

src/primitive/uint64.rs:4

↓ 1 callersFunctionlean_uint8_of_nat

(a: b_lean_obj_arg)

src/primitive/uint8.rs:4

↓ 1 callersFunctionlean_usize_of_nat

(a: b_lean_obj_arg)

src/primitive/usize_.rs:4

↓ 1 callersFunctionslice_mul

(s: &[u64])

src/nat.rs:237

Methodalloc

(&self, layout: Layout)

src/alloc.rs:21

Methodas_mut_slice

(&mut self, len: usize)

src/types/incomplete_array.rs:26

Methodas_slice

(&self, len: usize)

src/types/incomplete_array.rs:22

Functionbig_nat_multiplication_commutes_test

()

src/nat.rs:247

Methodfmt

(&self, fmt: &mut core::fmt::Formatter<'_>)

src/types/incomplete_array.rs:31

Functionlayout_compat

()

src/lib.rs:82

next →1–100 of 538, ranked by callers