ksmt-core/io.ksmt/KContext/mkFpIsInfiniteDecl

mkFpIsInfiniteDecl

fun <T : KFpSort> mkFpIsInfiniteDecl(valueSort: T): KFpIsInfiniteDecl<T>