cf
Data.
__le__
The rich comparison operator <=
<=
x.__le__(y) <==> x<=y
cf.Data.__lt__
cf.Data.__eq__