Function lean_closure_fun 

pub unsafe fn lean_closure_fun(o: *mut lean_object) -> *mut c_void

Code pointer of the closure (lean.h:764).

Safety

o must be a borrowed Lean closure object.