← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-current/interfaces/3.12/hashtbl.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.12/hashtbl.mli
 
1
type ('a, 'b) t
 
2
val create : int -> ('a, 'b) t
 
3
val clear : ('a, 'b) t -> unit
 
4
val add : ('a, 'b) t -> 'a -> 'b -> unit
 
5
val copy : ('a, 'b) t -> ('a, 'b) t
 
6
val find : ('a, 'b) t -> 'a -> 'b
 
7
val find_all : ('a, 'b) t -> 'a -> 'b list
 
8
val mem : ('a, 'b) t -> 'a -> bool
 
9
val remove : ('a, 'b) t -> 'a -> unit
 
10
val replace : ('a, 'b) t -> 'a -> 'b -> unit
 
11
val iter : ('a -> 'b -> unit) -> ('a, 'b) t -> unit
 
12
val fold : ('a -> 'b -> 'c -> 'c) -> ('a, 'b) t -> 'c -> 'c
 
13
val length : ('a, 'b) t -> int
 
14
module type HashedType  =
 
15
  sig type t val equal : t -> t -> bool val hash : t -> int end
 
16
module type S  =
 
17
  sig
 
18
    type key
 
19
    type 'a t
 
20
    val create : int -> 'a t
 
21
    val clear : 'a t -> unit
 
22
    val copy : 'a t -> 'a t
 
23
    val add : 'a t -> key -> 'a -> unit
 
24
    val remove : 'a t -> key -> unit
 
25
    val find : 'a t -> key -> 'a
 
26
    val find_all : 'a t -> key -> 'a list
 
27
    val replace : 'a t -> key -> 'a -> unit
 
28
    val mem : 'a t -> key -> bool
 
29
    val iter : (key -> 'a -> unit) -> 'a t -> unit
 
30
    val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
 
31
    val length : 'a t -> int
 
32
  end
 
33
module Make :
 
34
functor (H : HashedType) ->
 
35
  sig
 
36
    type key = H.t
 
37
    type 'a t
 
38
    val create : int -> 'a t
 
39
    val clear : 'a t -> unit
 
40
    val copy : 'a t -> 'a t
 
41
    val add : 'a t -> key -> 'a -> unit
 
42
    val remove : 'a t -> key -> unit
 
43
    val find : 'a t -> key -> 'a
 
44
    val find_all : 'a t -> key -> 'a list
 
45
    val replace : 'a t -> key -> 'a -> unit
 
46
    val mem : 'a t -> key -> bool
 
47
    val iter : (key -> 'a -> unit) -> 'a t -> unit
 
48
    val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
 
49
    val length : 'a t -> int
 
50
  end
 
51
val hash : 'a -> int
 
52
external hash_param :
 
53
  int -> int -> 'a -> int = "caml_hash_univ_param" "noalloc"