[ 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

- is_ordset(?) is semidet

## See Also

@< / 2