ksmt-core/io.ksmt/KContext/mkFpRoundingModeSort

mkFpRoundingModeSort

fun mkFpRoundingModeSort(): KFpRoundingModeSort

Create a floating point rounding mode sort.