|- class="t-dsc"
|
| specifies that the comparison operators on the type yield a total order (concept) |-