ksmt-core/io.ksmt.utils/FpUtils/mkFpOne

mkFpOne

fun <T : KFpSort> KContext.mkFpOne(sort: T, signBit: Boolean): KFpValue<T>