LeanMaxCtorTag

Constant LeanMaxCtorTag 

Source
pub const LeanMaxCtorTag: u8 = 243;