ksmt-core/io.ksmt/KContext/le

le

infix fun <T : KArithSort> KExpr<T>.le(other: KExpr<T>): KExpr<KBoolSort>