Lemma float16Vec2TWFDecidable (t : float16Vec2T) : {float16Vec2TWF t}+{~float16Vec2TWF t}.
