Skip to main content

lean_rs_sys/
consts.rs

1//! Compatibility re-exports for ABI constants.
2//!
3//! The link-free source of truth is `lean-rs-abi`; `lean-rs-sys` re-exports
4//! the constants here so existing callers can keep using
5//! `lean_rs_sys::consts::*`.
6
7pub use lean_rs_abi::consts::*;