Function lean_sys::lean_set_st_header
source · pub unsafe fn lean_set_st_header(
o: *mut lean_object,
tag: c_uint,
other: c_uint
)pub unsafe fn lean_set_st_header(
o: *mut lean_object,
tag: c_uint,
other: c_uint
)