←
equivalence with hash
ideal
•
library
•
elements
• order
collection
→
Order defined by a relation that is transitive, antisymmetric, and total.
concept
order
[contravariant
value
element
]
Declaration:
order
Announcements:
order
Direct supertypes:
function
All supertypes:
deeply_immutable
data
/
value
/
entity
Direct subtypes:
number order
Use:
list
/
base list
←
equivalence with hash
ideal
•
library
•
elements
• order
collection
→