Type Definition hacl_star_sys::poly1305::Hacl_Poly1305_64_state

type Hacl_Poly1305_64_state = Hacl_Impl_Poly1305_64_State_poly1305_state;