P3778R0 Fix for type_order template definition

Author: jwakely

source/support.tex

@@ -5738,16 +5738,17 @@
 
 \indexlibraryglobal{type_order}%
 \begin{itemdecl}
-template<class T, class U>
-  struct type_order;
+template<class T, class U> struct type_order {
+  static constexpr strong_ordering value = @\exposid{TYPE-ORDER}@(T, U);
+
+  using value_type = strong_ordering;
+
+  constexpr operator value_type() const noexcept { return value; }
+  constexpr value_type operator()() const noexcept { return value; }
+};
 \end{itemdecl}
 
 \begin{itemdescr}
-\pnum
-The name \tcode{type_order} denotes a \oldconcept{BinaryTypeTrait}\iref{meta.rqmts}
-with a base characteristic of
-\tcode{inte\-gral_constant<strong_ordering, \exposid{TYPE-ORDER}(T, U)>}.
-
 \pnum
 \recommended
 The order should be lexicographical on parameter-type-lists and template argument lists.