Skip to main content

lean_rs_sys/
supported.rs

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