Types & classes — github.com/digama0/lean-sys

CodeHub MCPcopy Create free account

hub / github.com/digama0/lean-sys / types & classes

Types & classes15 in github.com/digama0/lean-sys

⨍ Functions 538◇ Types & classes 15

↓ 1 callersClassIncompleteArrayField

src/types/incomplete_array.rs:7

A global allocator that uses Lean's allocator. This is useful when writing FFI libraries for Lean, where people may want to disable rust's `std`. ```i

src/alloc.rs:13

Classlean_array_object

src/types/mod.rs:57

Classlean_closure_object

src/types/mod.rs:88

Classlean_ctor_object

src/types/mod.rs:49

Classlean_external_class

src/types/mod.rs:203

Classlean_external_object

src/types/mod.rs:210

Classlean_object

src/types/mod.rs:29

Classlean_promise_object

src/types/mod.rs:191

Classlean_ref_object

src/types/mod.rs:101

Classlean_sarray_object

src/types/mod.rs:67

Classlean_string_object

src/types/mod.rs:76

Classlean_task_imp

src/types/mod.rs:118

Classlean_task_object

src/types/mod.rs:183

Classlean_thunk_object

src/types/mod.rs:108