Inductive float16Vec4T : Set := Float16Vec4 {
  f16vec4_0 : R;
  f16vec4_1 : R;
  f16vec4_2 : R;
  f16vec4_3 : R
}.
