ksmt-core/io.ksmt/KContext/div

div

operator fun <T : KArithSort> KExpr<T>.div(other: KExpr<T>): KExpr<T>