Type Definition hacl_sys::uint32x4_t

source · 
pub type uint32x4_t = [u32; 4];