Constant LEAN_VERSION 

pub const LEAN_VERSION: &'static str;

LEAN_VERSION_STRING as read from the active toolchain’s version.h (e.g. "4.29.1").