Inductive float16Vec2T : Set := Float16Vec2 {
  f16vec2_0 : R;
  f16vec2_1 : R
}.
