Function hacl_sys::hacl_policies::Hacl_Policies_declassify_u128

pub unsafe extern "C" fn Hacl_Policies_declassify_u128(
    x: FStar_UInt128_t
) -> FStar_UInt128_t