Function lean_sys::c_int_load

source · 
pub unsafe fn c_int_load(p: *const c_int, order: Ordering) -> c_int