Function hacl_sys::hacl_policies::Hacl_Policies_declassify_u8 [] [src]

pub unsafe extern "C" fn Hacl_Policies_declassify_u8(x: u8) -> u8