[ 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