Function lean_float_array_size

src/sarray/float.rs:17–19 · view source on GitHub ↗

(a: b_lean_obj_arg)

Source from the content-addressed store, hash-verified

15
16	#[inline(always)]
17	pub unsafe fn lean_float_array_size(a: b_lean_obj_arg) -> lean_obj_res {
18	lean_box(lean_sarray_size(a))
19	}
20
21	#[inline(always)]
22	pub unsafe fn lean_float_array_cptr(a: b_lean_obj_arg) -> *mut f64 {

nothing calls this directly

lean_boxFunction · 0.85

lean_sarray_sizeFunction · 0.85

no test coverage detected