Skip to main content

lean_sarray_elem_size

lean_rs_sys::array

Function lean_sarray_elem_size 

Source 
pub unsafe fn lean_sarray_elem_size(o: *mut lean_object) -> u8
Expand description

Element size of a scalar array (lean.h:1011–1014).

§Safety

o must be a borrowed Lean scalar-array object.