[][src]Function hacl_star_sys::aead_poly1305::AEAD_Poly1305_64_seval

pub unsafe extern "C" fn AEAD_Poly1305_64_seval(b: *mut c_void) -> Prims_nat