The next element.

Property definitions

core $ Discrete :: successor
	# The next element.
	fun successor(i: Int): OTHER is abstract
lib/core/kernel.nit:379,2--380,41

core $ UInt32 :: successor
	redef fun successor(i) do return self + i.to_u32
lib/core/fixed_ints.nit:593,2--49

core $ Int8 :: successor
	redef fun successor(i) do return self + i.to_i8
lib/core/fixed_ints.nit:109,2--48

core $ Int16 :: successor
	redef fun successor(i) do return self + i.to_i16
lib/core/fixed_ints.nit:230,2--49

core $ UInt16 :: successor
	redef fun successor(i) do return self + i.to_u16
lib/core/fixed_ints.nit:351,2--49

core $ Int32 :: successor
	redef fun successor(i) do return self + i.to_i32
lib/core/fixed_ints.nit:472,2--49

core $ Char :: successor
	redef fun successor(i) is intern
lib/core/kernel.nit:919,2--33

core $ Byte :: successor
	redef fun successor(i) do return self + i.to_b
lib/core/kernel.nit:609,2--47

gmp $ BigInt :: successor
    redef fun successor(i) do return self + i.to_bi
lib/gmp/gmp.nit:130,5--51

core $ Int :: successor
	redef fun successor(i) do return self + i
lib/core/kernel.nit:710,2--42