Function lean_byte_array_size

src/sarray/byte.rs:13–15 · view source on GitHub ↗

(a: b_lean_obj_arg)

Source from the content-addressed store, hash-verified

11
12	#[inline(always)]
13	pub unsafe fn lean_byte_array_size(a: b_lean_obj_arg) -> lean_obj_res {
14	lean_box(lean_sarray_size(a))
15	}
16
17	#[inline(always)]
18	pub unsafe fn lean_byte_array_uget(a: b_lean_obj_arg, i: usize) -> u8 {

nothing calls this directly

lean_boxFunction · 0.85

lean_sarray_sizeFunction · 0.85

no test coverage detected