Return the integer value if the instance is a uint32.

else aborts

Property definitions

nitc $ Instance :: to_u32
	# Return the integer value if the instance is a uint32.
	# else aborts
	fun to_u32: UInt32 do abort
src/interpreter/naive_interpreter.nit:761,2--763,28

nitc $ PrimitiveInstance :: to_u32
	redef fun to_u32 do return val.as(UInt32)
src/interpreter/naive_interpreter.nit:842,2--42