← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-current/interfaces/3.07/set.mli

  • Committer: Thierry Martinez
  • Date: 2019-08-20 13:37:04 UTC
  • Revision ID: git-v1:0214afad4a32c95349c2c5a38e37cea407c455d0
Update bundles

Show diffs side-by-side

added added

removed removed

Lines of Context:
bundles/stdcompat/stdcompat-current/interfaces/3.07/set.mli
 
1
module type OrderedType  = sig type t val compare : t -> t -> int end
 
2
module type S  =
 
3
  sig
 
4
    type elt
 
5
    and t
 
6
    val empty : t
 
7
    val is_empty : t -> bool
 
8
    val mem : elt -> t -> bool
 
9
    val add : elt -> t -> t
 
10
    val singleton : elt -> t
 
11
    val remove : elt -> t -> t
 
12
    val union : t -> t -> t
 
13
    val inter : t -> t -> t
 
14
    val diff : t -> t -> t
 
15
    val compare : t -> t -> int
 
16
    val equal : t -> t -> bool
 
17
    val subset : t -> t -> bool
 
18
    val iter : (elt -> unit) -> t -> unit
 
19
    val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
 
20
    val for_all : (elt -> bool) -> t -> bool
 
21
    val exists : (elt -> bool) -> t -> bool
 
22
    val filter : (elt -> bool) -> t -> t
 
23
    val partition : (elt -> bool) -> t -> (t * t)
 
24
    val cardinal : t -> int
 
25
    val elements : t -> elt list
 
26
    val min_elt : t -> elt
 
27
    val max_elt : t -> elt
 
28
    val choose : t -> elt
 
29
  end
 
30
module Make :
 
31
functor (Ord : OrderedType) ->
 
32
  sig
 
33
    type elt = Ord.t
 
34
    and t
 
35
    val empty : t
 
36
    val is_empty : t -> bool
 
37
    val mem : elt -> t -> bool
 
38
    val add : elt -> t -> t
 
39
    val singleton : elt -> t
 
40
    val remove : elt -> t -> t
 
41
    val union : t -> t -> t
 
42
    val inter : t -> t -> t
 
43
    val diff : t -> t -> t
 
44
    val compare : t -> t -> int
 
45
    val equal : t -> t -> bool
 
46
    val subset : t -> t -> bool
 
47
    val iter : (elt -> unit) -> t -> unit
 
48
    val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
 
49
    val for_all : (elt -> bool) -> t -> bool
 
50
    val exists : (elt -> bool) -> t -> bool
 
51
    val filter : (elt -> bool) -> t -> t
 
52
    val partition : (elt -> bool) -> t -> (t * t)
 
53
    val cardinal : t -> int
 
54
    val elements : t -> elt list
 
55
    val min_elt : t -> elt
 
56
    val max_elt : t -> elt
 
57
    val choose : t -> elt
 
58
  end