lean-sys-0.0.8
- lean-sys 0.0.8
- 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.9 dev
  
  rand_xoshiro ^0.7 dev
- Versions
- 8.1% of the crate is documented
Platform
Feature flags

docs.rs
- About docs.rs
- Privacy policy

Rust

lean_sys0.0.8

In lean_sys::sarray::float

lean_sys::sarray::float

Function lean_float_array_get

pub unsafe fn lean_float_array_get(a: b_lean_obj_arg, i: b_lean_obj_arg) -> f64