pub fn capability_env_var(target_name: &str) -> String
Default Cargo environment variable for a Lean capability target.