package Ġio . vex el abs . bit builder . llvm . unit . ir . types Ċ Ċ import Ġio . vex el abs . bit builder . llvm . ir . types . Float Type Ċ import Ġio . vex el abs . bit builder . llvm . utils . run All Ċ import Ġkotlin . test . assertEquals Ċ import Ġorg . spe k framework . spe k 2 . Spe k Ċ Ċ internal Ġclass ĠFloat Type Test Ġ: ĠSpe k ({ ĊĠĠĠ Ġtest (" creation Ġof Ġeach Ġfloat Ġtype ") Ġ{ ĊĠĠĠĠĠĠĠ Ġrun All (* Float Type . kind s . to Typed Array ()) Ġ{ Ġit , Ġ_ Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġtype Ġ= ĠFloat Type ( it ) ĊĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertEquals ( it , Ġtype . getType Kind ()) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ }) Ċ