public interface UshrExpr extends BinopExpr
getOp1, getOp1Box, getOp2, getOp2Box, getSymbol, setOp1, setOp2, toString
clone, getType, getUseBoxes, toString
apply
equivHashCode, equivTo