TimeStack#compare is the default comparison already

Author: mbouaziz

skiplang/prelude/src/skstore/Context.sk

@@ -268,16 +268,6 @@ class TimeStack private (
     !this.values = this.values.map(x -> -x);
     this
   }
-
-  fun compare(other: TimeStack): Order {
-    for (i in Range(0, this.values.size())) {
-      if (i >= other.values.size()) return GT();
-      cmp = this.values[i].compare(other.values[i]);
-      if (cmp != EQ()) return cmp;
-    };
-    if (other.values.size() > this.values.size()) return LT();
-    EQ()
-  }
 }
 
 /*****************************************************************************/