Squashed 'third_party/boostorg/concept_check/' content from commit ed0a0eb
Change-Id: Ib7230965334f9501601efc300242efde8352a380
git-subtree-dir: third_party/boostorg/concept_check
git-subtree-split: ed0a0ebd72f778cfa4931e0538ea34c28db3a42b
diff --git a/doc/reference/LessThanComparable.xml b/doc/reference/LessThanComparable.xml
new file mode 100644
index 0000000..97f4c46
--- /dev/null
+++ b/doc/reference/LessThanComparable.xml
@@ -0,0 +1,81 @@
+<?xml version="1.0"?>
+<concept name="LessThanComparable" category="Utility"><!--
+Based on concepts from the SGI Standard Template Library documentation:
+Copyright (c) 1996-1999
+Silicon Graphics Computer Systems, Inc.
+
+Copyright (c) 1994
+Hewlett-Packard Company
+--><!--
+Copyright 2000-2001 University of Notre Dame du Lac.
+Copyright 2001-2002 Indiana University.
+Some concepts based on versions from the MTL draft manual and Boost Graph
+and Property Map documentation:
+Copyright (c) Jeremy Siek, Lie-Quan Lee, and Andrew Lumsdaine 2000
+-->
+ <param name="X" role="comparable-type"/>
+
+ <models-sentence>The type <arg num="1"/> must be a model of <self/>.</models-sentence>
+
+ <description><para>LessThanComparable types must have <code><</code>,
+ <code>></code>, <code><=</code>, and <code>>=</code>
+ operators.</para></description>
+
+ <notation variables="x y"><sample-value><type name="X"/></sample-value></notation>
+
+ <valid-expression name="Less than">
+ <less-than>
+ <sample-value><type name="X"/></sample-value>
+ <sample-value><type name="X"/></sample-value>
+ </less-than>
+ <return-type>
+ <convertible-to testable="yes">
+ <type name="bool"/>
+ </convertible-to>
+ </return-type>
+ <semantics>Determine if one value is less than another.</semantics>
+ </valid-expression>
+
+ <valid-expression name="Less than or equal">
+ <less-than-or-equal>
+ <sample-value><type name="X"/></sample-value>
+ <sample-value><type name="X"/></sample-value>
+ </less-than-or-equal>
+ <return-type>
+ <convertible-to testable="yes">
+ <type name="bool"/>
+ </convertible-to>
+ </return-type>
+ <semantics>Determine if one value is less than or equal to another.</semantics>
+ </valid-expression>
+
+ <valid-expression name="Greater than">
+ <greater-than>
+ <sample-value><type name="X"/></sample-value>
+ <sample-value><type name="X"/></sample-value>
+ </greater-than>
+ <return-type>
+ <convertible-to testable="yes">
+ <type name="bool"/>
+ </convertible-to>
+ </return-type>
+ <semantics>Determine if one value is greater than another.</semantics>
+ </valid-expression>
+
+ <valid-expression name="Greater than or equal to">
+ <greater-than-or-equal>
+ <sample-value><type name="X"/></sample-value>
+ <sample-value><type name="X"/></sample-value>
+ </greater-than-or-equal>
+ <return-type>
+ <convertible-to testable="yes">
+ <type name="bool"/>
+ </convertible-to>
+ </return-type>
+ <semantics>Determine if one value is greater than or equal to another.</semantics>
+ </valid-expression>
+
+ <example-model>
+ <type name="int"/>
+ </example-model>
+</concept>