Function hacl_star_sys::poly1305::Hacl_Poly1305_64_update_last

pub unsafe extern "C" fn Hacl_Poly1305_64_update_last(
    st: Hacl_Impl_Poly1305_64_State_poly1305_state, 
    m: *mut u8, 
    len1: u32
)