[−][src]Function hacl_star_sys::hacl_policies::Hacl_Policies_declassify_u32
pub unsafe extern "C" fn Hacl_Policies_declassify_u32(x: u32) -> u32
pub unsafe extern "C" fn Hacl_Policies_declassify_u32(x: u32) -> u32