Assertion: concept's type | /r/HasProperty | ordered
Facets:
Source sentences:
text: For instance, one can declare that a type is ordered if it has a less-than operator as follows:
text: A type is ordered if it has a less-than relationship generic type ordered if A, B : ordered Test : boolean :=