Definition float16Vec2TWF (t : float16Vec2T) : Prop :=
     isValidFloat (f16vec2_0 t)
  /\ isValidFloat (f16vec2_1 t).
