Function lean_sys::string::lean_char_default_value

source · 
pub fn lean_char_default_value() -> c_char
Expand description

instance : inhabited char := ⟨‘A’⟩