object

# `set(Type)`

Set predicates with elements constrained to a single type and custom comparing rules.

Author: Paulo Moura and Adrian Arroyo
Version: 1:24:0
Date: 2022-02-03
Compilation flags:
`static, context_switching_calls`
Extends:
`public` set
Uses:
list
Remarks:
(none)
Inherited public predicates:
(<)/2 (=:=)/2 (=<)/2 (=\=)/2 (>)/2 (>=)/2 as_list/2 as_set/2 check/1 delete/3 depth/2 disjoint/2 empty/1 equal/2 ground/1 insert/3 insert_all/3 intersect/2 intersection/3 intersection/4 member/2 memberchk/2 new/1 numbervars/1 numbervars/3 occurs/2 powerset/2 product/3 select/3 selectchk/3 singletons/2 size/2 subset/2 subsumes/2 subterm/2 subtract/3 symdiff/3 union/3 union/4 valid/1 variables/2 variant/2 varnumbers/2 varnumbers/3

- Public predicates

- Protected predicates

- Private predicates

  - `sort/2`

  - `partition/4`

- Operators

## Public predicates

(no local declarations; see entity ancestors if any)

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

### `sort/2`

Sorts a list in ascending order.

Compilation flags:
`static`
Template:
`sort(List,Sorted)`
Mode and number of proofs:
`sort(+list,-list)` - `one`

### `partition/4`

List partition in two sub-lists using a pivot.

Compilation flags:
`static`
Template:
`partition(List,Pivot,Lowers,Biggers)`
Mode and number of proofs:
`partition(+list,+nonvar,-list,-list)` - `one`

## Operators

(none)