ksmt-core/io.ksmt/KContext/mkEq

mkEq

@JvmOverloads
open fun <T : KSort> mkEq(lhs: KExpr<T>, rhs: KExpr<T>, order: Boolean = true): KExpr<KBoolSort>

Create EQ expression.

Parameters

order

reorder arguments to ensure that (= a b) == (= b a)