floatSort function

FloatSort floatSort(
  1. int ebits,
  2. int sbits
)

The type of a floating point number with the given ebits exponent bits and sbits significand bits.

Implementation

FloatSort floatSort(int ebits, int sbits) => FloatSort(ebits, sbits).declare();