Inductive float16Vec3T : Set := Float16Vec3 {
  f16vec3_0 : R;
  f16vec3_1 : R;
  f16vec3_2 : R
}.
