Module supported 

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::*.

Structs

SupportedToolchain

One ABI-equivalence class in the supported toolchain window.

Constants

SUPPORTED_TOOLCHAINS

The supported Lean toolchain window.

Functions

supported_by_digest

Return the SupportedToolchain entry whose header_digest matches the given lowercase-hex SHA-256 string, if any.

supported_for

Return the SupportedToolchain entry that includes version, if any.

symbol_present_in_window

Return true iff no SupportedToolchain entry lists symbol under missing_symbols. Combine with crate::REQUIRED_SYMBOLS for a membership check via crate::symbol_in_all.