Constant PRELUDE 

pub const PRELUDE: &str = "std.prelude";

The path of the prelude module. It cannot be imported; its public names (except Never) are visible everywhere (spec chapter 6, section 3.3).