| 00:02 | <ptomato> | re. https://github.com/tc39/ecma262/pull/3759#discussion_r3431834427, do we need to define a Relation on the Set of all ISO Date-Time Records as in https://tc39.es/ecma262/#sec-set-and-relation-specification-type, or is it sufficient to define "earlier" and "later" in terms of CompareISODateTime? I've gone with the latter as I don't think the former is going to aid readability, but let me know if you disagree |