Function lean_sys::sarray::byte::lean_mk_empty_byte_array

source · 
pub unsafe fn lean_mk_empty_byte_array(capacity: b_lean_obj_arg) -> lean_obj_res