source: extracted/set_adt.mli @ 2731

Last change on this file since 2731 was 2730, checked in by sacerdot, 7 years ago

Exported again.

File size: 1.2 KB
Line 
1type 'x set
2
3val set_empty : 'a1 set
4
5val set_size : 'a1 set -> Nat.nat
6
7val set_to_list : 'a1 set -> 'a1 List.list
8
9val set_insert : 'a1 -> 'a1 set -> 'a1 set
10
11val set_remove : 'a1 -> 'a1 set -> 'a1 set
12
13val set_member : ('a1 -> 'a1 -> Bool.bool) -> 'a1 -> 'a1 set -> Bool.bool
14
15val set_forall : ('a1 -> Bool.bool) -> 'a1 set -> Bool.bool
16
17val set_exists : ('a1 -> Bool.bool) -> 'a1 set -> Bool.bool
18
19val set_filter : ('a1 -> Bool.bool) -> 'a1 set -> 'a1 set
20
21val set_map : ('a1 -> 'a2) -> 'a1 set -> 'a2 set
22
23val set_fold : ('a1 -> 'a2 -> 'a2) -> 'a1 set -> 'a2 -> 'a2
24
25val set_equal :
26  ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> Bool.bool
27
28val set_diff : 'a1 set -> 'a1 set -> 'a1 set
29
30val set_is_empty : 'a1 set -> Bool.bool
31
32val set_singleton : 'a1 -> 'a1 set
33
34val set_from_list : 'a1 List.list -> 'a1 set
35
36val set_split :
37  ('a1 -> Bool.bool) -> 'a1 set -> ('a1 set, 'a1 set) Types.prod
38
39val set_subset :
40  ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> Bool.bool
41
42val set_subseteq :
43  ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> Bool.bool
44
45val set_union : 'a1 set -> 'a1 set -> 'a1 set
46
47val set_intersection :
48  ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> 'a1 set
49
Note: See TracBrowser for help on using the repository browser.