Function lean_mark_mt 

pub unsafe extern "C" fn lean_mark_mt(o: *mut lean_object)

Mark a heap object—and everything reachable from it—as multi-threaded (lean.h:612).