ksmt-core/io.ksmt/KContext/mkFpIsSubnormalDecl

mkFpIsSubnormalDecl

fun <T : KFpSort> mkFpIsSubnormalDecl(valueSort: T): KFpIsSubnormalDecl<T>