is sorted fails with objects that only implement lt

is sorted fails with objects that only implement lt: a task in Repo2RLEnv R2E-Gym / SWEGEN (Harbor dataset). Python's sorting protocol only requires objects to implement lt . However, is sorted internally uses the <= operator (for the non-strict case), which means it breaks for objects that only…