Function hacl_star_sys::aead_poly1305::AEAD_Poly1305_64_poly1305_blocks_init

pub unsafe extern "C" fn AEAD_Poly1305_64_poly1305_blocks_init(
    st: Hacl_Impl_Poly1305_64_State_poly1305_state, 
    input: *mut u8, 
    len1: u32, 
    k1: *mut u8
)