lean-rs-sys-0.2.1
- lean-rs-sys 0.2.1
- Docs.rs crate page
- MIT OR Apache-2.0
- 09 June 2026
- Links
- Repository
- crates.io
- Source
- Owners
- jcreinhold
- Dependencies
- lean-rs-abi ^0.2.1 normal
  trybuild ^1 dev
  lean-rs-abi ^0.2.1 build
  sha2 ^0.11 build
- Versions
- 66.05% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

LEAN_REF

lean_rs_sys0.2.1

In lean_rs_sys::consts

lean_rs_sys::consts

Constant LEAN_REF

pub const LEAN_REF: u8 = 253; // 253u8