i bits shift to the left

assert 5u16 << 1    == 10u16

Property definitions

core $ UInt16 :: <<
	# `i` bits shift to the left
	#
	#     assert 5u16 << 1    == 10u16
	fun <<(i: Int): UInt16 is intern
lib/core/fixed_ints.nit:384,2--387,33