Constant LEAN_HEADER_PATH 

pub const LEAN_HEADER_PATH: &'static str;

Filesystem path to the lean.h that the build was resolved against.