diff --git a/source/support.tex b/source/support.tex
index d7cc5747ff..ab52a33fc9 100644
--- a/source/support.tex
+++ b/source/support.tex
@@ -5720,16 +5720,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 @\libmember{value}{type_order}@ = @\exposid{TYPE-ORDER}@(T, U);
+
+  using @\libmember{value_type}{type_order}@ = strong_ordering;
+
+  constexpr @\libmember{operator value_type}{type_order}@() const noexcept { return value; }
+  constexpr value_type @\libmember{operator()}{type_order}@() 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
 If an explicit specialization or partial specialization of \tcode{type_order} is declared,
 the program is ill-formed.