Def bitvec.ushr

Modification history