extBITSHR function
dynamic
extBITSHR(
- dynamic v1,
- dynamic v2
BITSHR(a, n): shift right n bits
Implementation
dynamic extBITSHR(dynamic v1, dynamic v2) => varToInt(v1) >> varToInt(v2);
BITSHR(a, n): shift right n bits
dynamic extBITSHR(dynamic v1, dynamic v2) => varToInt(v1) >> varToInt(v2);