predecessor

	# The previous element.
	fun predecessor(i: Int): OTHER is abstract

lib/core/kernel.nit:382,2--383,43

	redef fun predecessor(i) do return self - i.to_u32

lib/core/fixed_ints.nit:594,2--51

	redef fun predecessor(i) do return self - i.to_i8

lib/core/fixed_ints.nit:110,2--50

	redef fun predecessor(i) do return self - i.to_i16

lib/core/fixed_ints.nit:231,2--51

	redef fun predecessor(i) do return self - i.to_u16

lib/core/fixed_ints.nit:352,2--51

	redef fun predecessor(i) do return self - i.to_i32

lib/core/fixed_ints.nit:473,2--51

	redef fun predecessor(i) is intern

lib/core/kernel.nit:920,2--35

	redef fun predecessor(i) do return self - i.to_b

lib/core/kernel.nit:610,2--49

    redef fun predecessor(i) do return self - i.to_bi

lib/gmp/gmp.nit:131,5--53

	redef fun predecessor(i) do return self - i

lib/core/kernel.nit:711,2--44

abstract fun predecessor(i: Int): OTHER