i bits shift to the right

assert 5u16 >> 1    == 2u16

Property definitions

core $ UInt16 :: >>
	# `i` bits shift to the right
	#
	#     assert 5u16 >> 1    == 2u16
	fun >>(i: Int): UInt16 is intern
lib/core/fixed_ints.nit:389,2--392,33