1 files changed, 4 insertions, 2 deletions
diff --git a/src/types.hpp b/src/types.hpp
index 5f7c6111..38f2b26b 100644
--- a/src/types.hpp
+++ b/src/types.hpp
@@ -188,8 +188,10 @@ public:
     void add_trait(TypeRef trait) { assert(is_wildcard()); m_inner_types.push_back( ::std::move(trait) ); }
     const ::std::vector<TypeRef>& traits() const { assert(is_wildcard()); return m_inner_types; }   
 
-    bool operator==(const TypeRef& x) const;
-    bool operator!=(const TypeRef& x) const { return !(*this == x); }
+    Ordering ord(const TypeRef& x) const;
+    bool operator==(const TypeRef& x) const { return ord(x) == OrdEqual; }
+    bool operator!=(const TypeRef& x) const { return ord(x) != OrdEqual; }
+    bool operator<(const TypeRef& x) const { return ord(x) == OrdLess; };
     
     PrettyPrintType print_pretty() const { return PrettyPrintType(*this); }