Function lean_sys::lean_panic_fn
source · [−]pub unsafe extern "C" fn lean_panic_fn(
default_val: *mut lean_object,
msg: *mut lean_object
)
pub unsafe extern "C" fn lean_panic_fn(
default_val: *mut lean_object,
msg: *mut lean_object
)