Function lean_sys::lean_set_panic_messages

source · 
pub unsafe extern "C" fn lean_set_panic_messages(flag: bool)
Expand description

Enable/disable panic messages