ksmt-core/io.ksmt/KContext/mkArithGe

mkArithGe

open fun <T : KArithSort> mkArithGe(lhs: KExpr<T>, rhs: KExpr<T>): KExpr<KBoolSort>

Create an Int/Real arithmetic >= (greater-or-equal) expression.