(self)
return self._content.payload[1]
Return the extension step for BVZext and BVSext.
Return the extension step for BVZext and BVSext.
Return the extension step for BVZext and BVSext .
def bv_extend_step(self):
        """Return the extension step for BVZext and BVSext."""
        assert self.is_bv_zext() or self.is_bv_sext()
        return self._content.payload[1]
def bv_extend_step ( self ) : assert self . is_bv_zext ( ) or self . is_bv_sext ( ) return self . _content . payload [ 1 ]