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