Inductive float32Vec3T : Set := Float32Vec3 {
  f32vec3_0 : R;
  f32vec3_1 : R;
  f32vec3_2 : R
}.
