Constant lean_sys::LeanString

source ·
pub const LeanString: u8 = 249;