()
| 25 | /** instance : inhabited char := ⟨'A'⟩ */ |
| 26 | #[inline(always)] |
| 27 | pub fn lean_char_default_value() -> c_char { |
| 28 | 'A' as c_char |
| 29 | } |
| 30 | |
| 31 | #[inline(always)] |
| 32 | pub unsafe fn lean_string_cstr(o: b_lean_obj_arg) -> *const u8 { |
nothing calls this directly
no outgoing calls
no test coverage detected