Expand description
ABI constants for lean-rs-sys.
The static lean.h layout constants (object tags, allocator ceilings) come
from the link-free lean-rs-abi.
The live toolchain identity below is baked by this crate’s build.rs from
the lean.h it linked against: lean-rs-sys links libleanshared, so it
always has a toolchain to probe (unlike lean-rs-abi, which is purely
static).
Constants§
- LEAN_
ARRAY - LEAN_
CLOSURE - LEAN_
CLOSURE_ MAX_ ARGS - LEAN_
EXTERNAL - LEAN_
HEADER_ DIGEST - SHA-256 of the resolved
lean.h, lowercase hex. - LEAN_
HEADER_ PATH - Filesystem path to the
lean.hthis crate built 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_STRINGfrom thelean.hthis crate was built against.