concept meta_totally_ordered - kwikius/pqs GitHub Wiki

| Home | Concepts | Types |

a set of types that are compile time totally ordered ¹.

type	model of	notes
TL,TR	meta_totally_ordered<TL,TR>

type_expression	result	notes
binary_op< TL ,less, TR >	boolean_constant
binary_op< TL ,equal_to, TR >	boolean_constant

• [1] https://en.wikipedia.org/wiki/Total_order