ksmt-core/io.ksmt.expr/KBvLogicalShiftRightExpr/shift

shift

val shift: KExpr<S>