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

docs.rs

Rust

Module float

Functions

Module lean_sys::primitive::float

Functions

lean_float_decLe

lean_float_decLt

lean_float_frexp^⚠

lean_float_isfinite^⚠

lean_float_isinf^⚠

lean_float_isnan^⚠

lean_float_negate

lean_float_scaleb^⚠

lean_float_to_string^⚠

lean_float_to_uint8

lean_float_to_uint16

lean_float_to_uint32

lean_float_to_uint64

lean_float_to_usize

lean_uint64_to_float