source: extracted/set_adt.mli @ 2733

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

All axioms in set_adt implemented by hand.

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.