pub fn check_prelude_version(found: &str) -> Result<(), EnvironmentError>Expand description
Refuse any prelude tag but this checker’s own, explicitly for a retired one.
pub fn check_prelude_version(found: &str) -> Result<(), EnvironmentError>Refuse any prelude tag but this checker’s own, explicitly for a retired one.