Constant LEAN_HEADER_PATH 

pub const LEAN_HEADER_PATH: &str = "<no Lean toolchain; metadata-only build>";

Filesystem path to the lean.h this build resolved against, or a sentinel on a metadata-only build with no toolchain present.