(
a: lean_obj_arg,
i: b_lean_obj_arg,
v: lean_obj_arg,
)
| 108 | |
| 109 | #[inline] |
| 110 | pub unsafe fn lean_array_fset( |
| 111 | a: lean_obj_arg, |
| 112 | i: b_lean_obj_arg, |
| 113 | v: lean_obj_arg, |
| 114 | ) -> *mut lean_object { |
| 115 | lean_array_uset(a, lean_unbox(i), v) |
| 116 | } |
| 117 | |
| 118 | #[inline] |
| 119 | pub unsafe fn lean_array_set( |
nothing calls this directly
no test coverage detected