Function lean_closure_num_fixed 

pub unsafe fn lean_closure_num_fixed(o: *mut lean_object) -> u16

Number of arguments already captured in the closure (lean.h:766).

Safety

Same as lean_closure_fun.