Function panic_handler 

pub fn panic_handler(info: &PanicInfo<'_>) -> !

A panic handler implementation. This is useful when writing FFI libraries for Lean, where people may want to disable rust’s std.

#![no_std]
#[panic_handler]
fn panic(info: &core::panic::PanicInfo) -> ! {
   lean_sys::panic::panic_handler(info)
}