source: extracted/untrusted/set_adt.mli @ 2738

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

Porting the graph colouring stuff from the untrusted prototype to the extracted
code.

File size: 448 bytes
Line 
1type 'x set
2
3val set_empty : 'a1 set
4
5val set_member : ('a1 -> 'a1 -> Bool.bool) -> 'a1 -> 'a1 set -> Bool.bool
6
7val set_equal :
8  ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> Bool.bool
9
10val set_diff : 'a1 set -> 'a1 set -> 'a1 set
11
12val set_singleton : 'a1 -> 'a1 set
13
14val set_from_list : 'a1 List.list -> 'a1 set
15
16val set_subset :
17  ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> Bool.bool
18
19val set_union : 'a1 set -> 'a1 set -> 'a1 set
Note: See TracBrowser for help on using the repository browser.