Function hacl_star_sys::poly1305::Hacl_Poly1305_64_finish

pub unsafe extern "C" fn Hacl_Poly1305_64_finish(
    st: Hacl_Impl_Poly1305_64_State_poly1305_state, 
    mac: *mut u8, 
    k1: *mut u8
)