ksmt-core/io.ksmt/KContext/mkFp16Sort

mkFp16Sort

fun mkFp16Sort(): KFp16Sort

Create a 16-bit IEEE floating point sort (_ FloatingPoint 5 11).