ksmt-core/io.ksmt/KContext/mkBvMulExpr

mkBvMulExpr

open fun <T : KBvSort> mkBvMulExpr(arg0: KExpr<T>, arg1: KExpr<T>): KExpr<T>

Create BitVec arithmetic multiplication (bvmul) expression.