ksmt-core/io.ksmt/KContext/mkBvShiftLeftExpr

mkBvShiftLeftExpr

open fun <T : KBvSort> mkBvShiftLeftExpr(arg: KExpr<T>, shift: KExpr<T>): KExpr<T>

Create BitVec shift left (bvshl) expression.