Constant E0713

Source
pub const E0713: ();