[][src]Function hacl_star_sys::aead_poly1305::AEAD_Poly1305_64_mul_div_16

pub unsafe extern "C" fn AEAD_Poly1305_64_mul_div_16(len1: u32) -> u32