← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-current/interfaces/4.02/weak.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/4.02/weak.mli
 
1
type 'a t
 
2
val create : int -> 'a t
 
3
val length : 'a t -> int
 
4
val set : 'a t -> int -> 'a option -> unit
 
5
val get : 'a t -> int -> 'a option
 
6
val get_copy : 'a t -> int -> 'a option
 
7
val check : 'a t -> int -> bool
 
8
val fill : 'a t -> int -> int -> 'a option -> unit
 
9
val blit : 'a t -> int -> 'a t -> int -> int -> unit
 
10
module type S  =
 
11
  sig
 
12
    type data
 
13
    type t
 
14
    val create : int -> t
 
15
    val clear : t -> unit
 
16
    val merge : t -> data -> data
 
17
    val add : t -> data -> unit
 
18
    val remove : t -> data -> unit
 
19
    val find : t -> data -> data
 
20
    val find_all : t -> data -> data list
 
21
    val mem : t -> data -> bool
 
22
    val iter : (data -> unit) -> t -> unit
 
23
    val fold : (data -> 'a -> 'a) -> t -> 'a -> 'a
 
24
    val count : t -> int
 
25
    val stats : t -> (int * int * int * int * int * int)
 
26
  end
 
27
module Make :
 
28
functor (H : Hashtbl.HashedType) ->
 
29
  sig
 
30
    type data = H.t
 
31
    type t
 
32
    val create : int -> t
 
33
    val clear : t -> unit
 
34
    val merge : t -> data -> data
 
35
    val add : t -> data -> unit
 
36
    val remove : t -> data -> unit
 
37
    val find : t -> data -> data
 
38
    val find_all : t -> data -> data list
 
39
    val mem : t -> data -> bool
 
40
    val iter : (data -> unit) -> t -> unit
 
41
    val fold : (data -> 'a -> 'a) -> t -> 'a -> 'a
 
42
    val count : t -> int
 
43
    val stats : t -> (int * int * int * int * int * int)
 
44
  end