[ library(ordset) | The ECLiPSe Libraries | 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