core :: Comparable :: <=
other
self
Note, the implementation must ensure that: (x<=y) == (x<y or x==y)
(x<=y) == (x<y or x==y)
# 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
redef fun <=(i) is intern
redef fun <=(r) do return (self <=> r) <= 0
redef fun <=(i) do return (self <=> i) <= 0