lean-sys-0.0.6
- lean-sys 0.0.6
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- imbrem
- digama0
- Dependencies
- libc ^0.2 normal
  memoffset ^0.9 normal
  parking_lot ^0.12 normal
  static_assertions ^1.1.0 normal
  rand ^0.8 dev
  rand_xoshiro ^0.6 dev
- Versions
- 11.88% of the crate is documented
Platform
Feature flags

Rust

lean_sys0.0.6

Module thunk

Functions

In crate lean_sys

Module lean_sys::thunk

Expand description

Thunks

Functions§

lean_mk_thunk^⚠
lean_obj_res^⚠
Thunk.pure : A -> Thunk A
lean_thunk_get^⚠
lean_thunk_get_core^⚠
lean_thunk_get_own^⚠