Constant LEAN_HEADER_DIGEST 

pub const LEAN_HEADER_DIGEST: &'static str;

SHA-256 of the resolved lean.h. Computed by build.rs and equal to the header_digest of the matched SupportedToolchain entry.