type
Set
(
'elem
, 
'order
)
=
{ 
ordered_set
(
'elem
, 
'order
)
 
empty
, 
(
ordered_set
(
'elem
, 
'order
)
bool
)
 
is_empty
, 
(
'elem
ordered_set
(
'elem
, 
'order
)
)
 
singleton
, 
(
ordered_set
(
'elem
, 
'order
)
int
)
 
height
, 
(
ordered_set
(
'elem
, 
'order
)
int
)
 
size
, 
(
'elem
, 
ordered_set
(
'elem
, 
'order
)
ordered_set
(
'elem
, 
'order
)
)
 
add
, 
(
(
'elem
bool
)
, 
ordered_set
(
'elem
, 
'order
)
bool
)
 
exists
, 
(
'elem
, 
ordered_set
(
'elem
, 
'order
)
bool
)
 
contains
, 
(
'elem
, 
ordered_set
(
'elem
, 
'order
)
bool
)
 
mem
, 
(
'elem
, 
ordered_set
(
'elem
, 
'order
)
option
(
'elem
)
)
 
get
, 
(
(
'elem
bool
)
, 
ordered_set
(
'elem
, 
'order
)
option
(
'elem
)
)
 
find
, 
(
(
'elem
bool
)
, 
ordered_set
(
'elem
, 
'order
)
ordered_set
(
'elem
, 
'order
)
)
 
filter
, 
∀ 'acc.
(
(
'elem
, 
'acc
'acc
)
, 
ordered_set
(
'elem
, 
'order
)
, 
'acc
'acc
)
 
fold
, 
(
'elem
, 
ordered_set
(
'elem
, 
'order
)
ordered_set
(
'elem
, 
'order
)
)
 
remove
, 
(
(
'elem
'elem
)
, 
ordered_set
(
'elem
, 
'order
)
ordered_set
(
'elem
, 
'order
)
)
 
map
, 
∀ 'new_elem, 'new_order.
(
(
'elem
'new_elem
)
, 
order
(
'new_elem
, 
'new_order
)
, 
ordered_set
(
'elem
, 
'order
)
ordered_set
(
'new_elem
, 
'new_order
)
)
 
map_to_different_order
, 
∀ 'new_elem, 'new_order.
(
(
'elem
'new_elem
)
, 
Set
(
'new_elem
, 
'new_order
)
, 
ordered_set
(
'elem
, 
'order
)
ordered_set
(
'new_elem
, 
'new_order
)
)
 
map_to_different_set
, 
(
(
'elem
void
)
, 
ordered_set
(
'elem
, 
'order
)
void
)
 
iter
, 
(
ordered_set
(
'elem
, 
'order
)
, 
ordered_set
(
'elem
, 
'order
)
bool
)
 
equal
, 
(
ordered_set
(
'elem
, 
'order
)
, 
ordered_set
(
'elem
, 
'order
)
ordered_set
(
'elem
, 
'order
)
)
 
intersection
, 
(
ordered_set
(
'elem
, 
'order
)
, 
ordered_set
(
'elem
, 
'order
)
ordered_set
(
'elem
, 
'order
)
)
 
union
, 
(
ordered_set
(
'elem
, 
'order
)
option
(
'elem
)
)
 
min_binding
, 
(
ordered_set
(
'elem
, 
'order
)
'elem
)
 
unsafe_min_binding
, 
(
ordered_set
(
'elem
, 
'order
)
ordered_set
(
'elem
, 
'order
)
)
 
remove_min_binding
, 
(
ordered_set
(
'elem
, 
'order
)
option
(
'elem
)
)
 
max_binding
, 
(
ordered_set
(
'elem
, 
'order
)
'elem
)
 
unsafe_max_binding
, 
(
ordered_set
(
'elem
, 
'order
)
ordered_set
(
'elem
, 
'order
)
)
 
remove_max_binding
, 
(
'elem
, 
'elem
, 
ordered_set
(
'elem
, 
'order
)
ordered_set
(
'elem
, 
'order
)
)
 
subset
, 
(
'elem
, 
ordered_set
(
'elem
, 
'order
)
ordered_set
(
'elem
, 
'order
)
)
 
greater
, 
(
'elem
, 
ordered_set
(
'elem
, 
'order
)
ordered_set
(
'elem
, 
'order
)
)
 
less
, 
{ 
(
list
(
'elem
)
ordered_set
(
'elem
, 
'order
)
)
 
list
 }
 
From
, 
{ 
(
ordered_set
(
'elem
, 
'order
)
list
(
'elem
)
)
 
list
, 
(
ordered_set
(
'elem
, 
'order
)
iter
(
'elem
)
)
 
iter
 }
 
To
, 
(
ordered_set
(
'elem
, 
'order
)
(
ordered_set
(
'elem
, 
'order
)
, 
option
(
'elem
)
)
)
 
pop_max_binding
, 
(
ordered_set
(
'elem
, 
'order
)
(
ordered_set
(
'elem
, 
'order
)
, 
option
(
'elem
)
)
)
 
pop_min_binding
, 
(
ordered_set
(
'elem
, 
'order
)
option
(
'elem
)
)
 
random_get
 }
type
ordered_set
(
'elem
, 
'order
)
=
ordered_map
(
'elem
, 
void
, 
'order
)
type
set
(
'elem
)
=
Name Summary
A on numbers, using numeric comparison.
Set
The default module.Chances are that you will use this module for most tasks. It uses the default co...
A on strings, using alphabetical comparison on strings.This instance of differentiates uppercase f...

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.