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

arg

val arg: KExpr<S>