successor

	# The next element.
	fun successor(i: Int): OTHER is abstract

lib/core/kernel.nit:379,2--380,41

	redef fun successor(i) do return self + i.to_u32

lib/core/fixed_ints.nit:593,2--49

	redef fun successor(i) do return self + i.to_i8

lib/core/fixed_ints.nit:109,2--48

	redef fun successor(i) do return self + i.to_i16

lib/core/fixed_ints.nit:230,2--49

	redef fun successor(i) do return self + i.to_u16

lib/core/fixed_ints.nit:351,2--49

	redef fun successor(i) do return self + i.to_i32

lib/core/fixed_ints.nit:472,2--49

	redef fun successor(i) is intern

lib/core/kernel.nit:919,2--33

	redef fun successor(i) do return self + i.to_b

lib/core/kernel.nit:609,2--47

    redef fun successor(i) do return self + i.to_bi

lib/gmp/gmp.nit:130,5--51

	redef fun successor(i) do return self + i

lib/core/kernel.nit:710,2--42

abstract fun successor(i: Int): OTHER