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).