ksmt-core/io.ksmt/KContext/mkBvNegationDecl

mkBvNegationDecl

fun <T : KBvSort> mkBvNegationDecl(sort: T): KBvNegationDecl<T>