[ library(ordset) | Reference Manual | Alphabetic Index ]
is_ordset(?Term)
Checks whether term is an ordered set in the sense of lib(ordset)
- Term
- Any Term
Description
Checks whether term is an ordered set in the sense of lib(ordset),
i.e. a proper, duplicate-free list with elements in increasing order.
Modes and Determinism
See Also
@< / 2