ksmt-core/io.ksmt/KContext/mkFpIsNegativeDecl

mkFpIsNegativeDecl

fun <T : KFpSort> mkFpIsNegativeDecl(valueSort: T): KFpIsNegativeDecl<T>