Function lean_sys::dbg::lean_dbg_trace_if_shared
source · pub unsafe extern "C" fn lean_dbg_trace_if_shared(
s: lean_obj_arg,
a: lean_obj_arg
) -> *mut lean_object
pub unsafe extern "C" fn lean_dbg_trace_if_shared(
s: lean_obj_arg,
a: lean_obj_arg
) -> *mut lean_object