Function lean_closure_set 

pub unsafe fn lean_closure_set(o: u_lean_obj_arg, i: u32, a: lean_obj_arg)

Write the i-th captured argument (lean.h:782).

Safety

o must be a unique Lean closure object, i < num_fixed(o), and the caller transfers ownership of a.