The previous element.

Property definitions

core $ Discrete :: predecessor
	# The previous element.
	fun predecessor(i: Int): OTHER is abstract
lib/core/kernel.nit:382,2--383,43

core $ UInt32 :: predecessor
	redef fun predecessor(i) do return self - i.to_u32
lib/core/fixed_ints.nit:594,2--51

core $ Int8 :: predecessor
	redef fun predecessor(i) do return self - i.to_i8
lib/core/fixed_ints.nit:110,2--50

core $ Int16 :: predecessor
	redef fun predecessor(i) do return self - i.to_i16
lib/core/fixed_ints.nit:231,2--51

core $ UInt16 :: predecessor
	redef fun predecessor(i) do return self - i.to_u16
lib/core/fixed_ints.nit:352,2--51

core $ Int32 :: predecessor
	redef fun predecessor(i) do return self - i.to_i32
lib/core/fixed_ints.nit:473,2--51

core $ Char :: predecessor
	redef fun predecessor(i) is intern
lib/core/kernel.nit:920,2--35

core $ Byte :: predecessor
	redef fun predecessor(i) do return self - i.to_b
lib/core/kernel.nit:610,2--49

gmp $ BigInt :: predecessor
    redef fun predecessor(i) do return self - i.to_bi
lib/gmp/gmp.nit:131,5--53

core $ Int :: predecessor
	redef fun predecessor(i) do return self - i
lib/core/kernel.nit:711,2--44