ksmt-core/io.ksmt/KContext/neq

neq

infix fun <T : KSort> KExpr<T>.neq(other: KExpr<T>): KExpr<KBoolSort>