Type Definition hacl_star_sys::aead_poly1305::AEAD_Poly1305_64_state

type AEAD_Poly1305_64_state = Hacl_Impl_Poly1305_64_State_poly1305_state;