ksmt-core/io.ksmt/KContext/eq

eq

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