[][src]Type Definition hacl_star_sys::chacha20poly1305::__uint32_t

type __uint32_t = c_uint;