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

Rust

b_lean_obj_arg

In lean_sys

Type Definition lean_sys::b_lean_obj_arg

source · [−]

pub type b_lean_obj_arg = *mut lean_object;

Expand description

Borrowed object argument