pub unsafe extern "C" fn lean_dbg_trace_if_shared( s: lean_obj_arg, a: lean_obj_arg, ) -> *mut lean_object