Function lean_array_fget

src/array/high_level.rs:37–39 · view source on GitHub ↗

(a: b_lean_obj_arg, i: b_lean_obj_arg)

Source from the content-addressed store, hash-verified

35
36	#[inline(always)]
37	pub unsafe fn lean_array_fget(a: b_lean_obj_arg, i: b_lean_obj_arg) -> lean_obj_res {
38	lean_array_uget(a, lean_unbox(i))
39	}
40
41	#[inline(always)]
42	pub unsafe fn lean_array_fget_borrowed(a: b_lean_obj_arg, i: b_lean_obj_arg) -> lean_obj_res {

nothing calls this directly

lean_array_ugetFunction · 0.85

lean_unboxFunction · 0.85

no test coverage detected