Return the integer value if the instance is a int16.

else aborts

Property definitions

nitc $ Instance :: to_i16
	# Return the integer value if the instance is a int16.
	# else aborts
	fun to_i16: Int16 do abort
src/interpreter/naive_interpreter.nit:749,2--751,27

nitc $ PrimitiveInstance :: to_i16
	redef fun to_i16 do return val.as(Int16)
src/interpreter/naive_interpreter.nit:836,2--41