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