lean-rs-sys 0.3.1

Raw FFI bindings for the Lean 4 C ABI. See `lean-rs` for the safe front door.
Documentation 
1
2
3
4
5
6

//! Compatibility re-exports for the supported Lean toolchain window.
//!
//! The link-free source of truth is `lean-rs-abi`; `lean-rs-sys` keeps this
//! module so existing callers can keep using `lean_rs_sys::supported::*`.

pub use lean_rs_abi::supported::*;