LeanRef

Constant LeanRef 

Source
pub const LeanRef: u8 = 253;