not self < other

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

Property definitions

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

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

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

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

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

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

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

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

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

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

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

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