Constant LEAN_ROOT_NAMES 

pub const LEAN_ROOT_NAMES: &[&str];