source: extracted/untrusted/pset.mli @ 2755

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

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

File size: 498 bytes
Line 
1type 'x set
2
3val empty : 'a1 set
4
5val is_empty: 'a1 set -> bool
6
7val mem : 'a1 -> 'a1 set -> bool
8
9val add : 'a1 -> 'a1 set -> 'a1 set
10
11val remove: 'a1 -> 'a1 set -> 'a1 set
12
13val cardinal: 'a1 set -> int
14
15val fold: ('a1 -> 'a -> 'a) -> 'a1 set -> 'a -> 'a
16
17val iter: ('a1 -> unit) -> 'a1 set -> unit
18
19val equal : 'a1 set -> 'a1 set -> bool
20
21val diff : 'a1 set -> 'a1 set -> 'a1 set
22
23val singleton : 'a1 -> 'a1 set
24
25val subset : 'a1 set -> 'a1 set -> bool
26
27val union : 'a1 set -> 'a1 set -> 'a1 set
Note: See TracBrowser for help on using the repository browser.