not other < self

Note, the implementation must ensure that: (x<=y) == (x<y or x==y)

Property definitions

core $ Comparable :: <=
	# not `other` < `self`
	# Note, the implementation must ensure that: `(x<=y) == (x<y or x==y)`
	fun <=(other: OTHER): Bool do return not other < self
lib/core/kernel.nit:322,2--324,54

core $ UInt32 :: <=
	redef fun <=(i) is intern
lib/core/fixed_ints.nit:602,2--26

core $ Int8 :: <=
	redef fun <=(i) is intern
lib/core/fixed_ints.nit:118,2--26

core $ Int16 :: <=
	redef fun <=(i) is intern
lib/core/fixed_ints.nit:239,2--26

core $ UInt16 :: <=
	redef fun <=(i) is intern
lib/core/fixed_ints.nit:360,2--26

core $ Int32 :: <=
	redef fun <=(i) is intern
lib/core/fixed_ints.nit:481,2--26

gmp $ Ratio :: <=
    redef fun <=(r) do return (self <=> r) <= 0
lib/gmp/gmp.nit:315,5--47

core $ Char :: <=
	redef fun <=(i) is intern
lib/core/kernel.nit:914,2--26

core $ Byte :: <=
	redef fun <=(i) is intern
lib/core/kernel.nit:618,2--26

core $ Float :: <=
	redef fun <=(i) is intern
lib/core/kernel.nit:529,2--26

gmp $ BigInt :: <=
    redef fun <=(i) do return (self <=> i) <= 0
lib/gmp/gmp.nit:147,5--47

core $ Int :: <=
	redef fun <=(i) is intern
lib/core/kernel.nit:719,2--26