ksmt-core/io.ksmt/KContext/mkFpIsPositiveDecl

mkFpIsPositiveDecl

fun <T : KFpSort> mkFpIsPositiveDecl(valueSort: T): KFpIsPositiveDecl<T>