Expand description
Compile-time constants resolved by build.rs (version + header digest)
plus the tag enum from lean.h:83–95.
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").