lean_set_non_heap_header_for_big

lean_sys

Function lean_set_non_heap_header_for_big 

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

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