Type Definition hacl_sys::Lib_IntVector_Intrinsics_vec128

source · 
pub type Lib_IntVector_Intrinsics_vec128 = uint32x4_t;