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