lean-sys-0.0.9
- lean-sys 0.0.9
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- imbrem
- digama0
- Dependencies
- libc ^0.2 normal
  libmimalloc-sys ^0.1.44 normal optional
  memoffset ^0.9 normal
  parking_lot ^0.12 normal
  static_assertions ^1.1.0 normal
  rand ^0.9 dev
  rand_xoshiro ^0.7 dev
- Versions
- 7.58% of the crate is documented
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Module dbg

lean_sys0.0.9

Module dbg

Module Items

Functions

In crate lean_sys

Module dbg

Expand description

Debugging helper functions

Functions§

lean_dbg_sleep^⚠
lean_dbg_trace^⚠
lean_dbg_trace_if_shared^⚠