
is_ordset(?Term)

   Checks whether term is an ordered set in the sense of lib(ordset)

Arguments
   Term                Any Term

Type
   library(ordset)

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
