Function parse_lean_mode 

fn parse_lean_mode(
    slot: &mut LeanMode,
    v: Option<&str>,
) -> Result<(), &'static str>