ksmt-core/io.ksmt/KContext/mkFpIsZeroDecl

mkFpIsZeroDecl

fun <T : KFpSort> mkFpIsZeroDecl(valueSort: T): KFpIsZeroDecl<T>