Function lean_sys::lean_set_non_heap_header_for_big

pub unsafe fn lean_set_non_heap_header_for_big(
    o: *mut lean_object,
    tag: c_uint,
    other: c_uint
)

lean_set_non_heap_header for (potentially) big objects such as arrays and strings.