[][src]Function hacl_star_sys::hacl_policies::Hacl_Policies_declassify_u32

pub unsafe extern "C" fn Hacl_Policies_declassify_u32(x: u32) -> u32