Expand description
Compatibility re-exports for ABI constants.
The link-free source of truth is lean-rs-abi; lean-rs-sys re-exports
the constants here so existing callers can keep using
lean_rs_sys::consts::*.
Constants§
- LEAN_
ARRAY - LEAN_
CLOSURE - LEAN_
CLOSURE_ MAX_ ARGS - LEAN_
EXTERNAL - LEAN_
HEADER_ DIGEST - SHA-256 of the resolved
lean.h. Computed bybuild.rsand equal to theheader_digestof the matchedSupportedToolchainentry. - LEAN_
HEADER_ PATH - Filesystem path to the
lean.hthat the build was resolved against. - LEAN_
MAX_ CTOR_ FIELDS - LEAN_
MAX_ CTOR_ SCALARS_ SIZE - LEAN_
MAX_ CTOR_ TAG - LEAN_
MAX_ SMALL_ OBJECT_ SIZE - LEAN_
MPZ - LEAN_
OBJECT_ SIZE_ DELTA - LEAN_
PROMISE - LEAN_
REF - LEAN_
RESERVED - LEAN_
RESOLVED_ VERSION - Version string from the matched supported-toolchain entry.
- LEAN_
SCALAR_ ARRAY - LEAN_
STRING - LEAN_
STRUCT_ ARRAY - LEAN_
TASK - LEAN_
THUNK - LEAN_
VERSION LEAN_VERSION_STRINGas read from the active toolchain’sversion.h(e.g."4.29.1").