Type Definition hacl_star_sys::poly1305::Hacl_Poly1305_64_uint64_t

type Hacl_Poly1305_64_uint64_t = u64;