Inductive float32Vec2T : Set := Float32Vec2 {
  f32vec2_0 : R;
  f32vec2_1 : R
}.
