sig
type 'a sequence = ('a -> unit) -> unit
module type S =
sig
type key
type 'a t
val create : int -> 'a CCFlatHashtbl.S.t
val mem : 'a CCFlatHashtbl.S.t -> CCFlatHashtbl.S.key -> bool
val find : 'a CCFlatHashtbl.S.t -> CCFlatHashtbl.S.key -> 'a option
val find_exn : 'a CCFlatHashtbl.S.t -> CCFlatHashtbl.S.key -> 'a
val get : CCFlatHashtbl.S.key -> 'a CCFlatHashtbl.S.t -> 'a option
val get_exn : CCFlatHashtbl.S.key -> 'a CCFlatHashtbl.S.t -> 'a
val add : 'a CCFlatHashtbl.S.t -> CCFlatHashtbl.S.key -> 'a -> unit
val remove : 'a CCFlatHashtbl.S.t -> CCFlatHashtbl.S.key -> unit
val size : 'a CCFlatHashtbl.S.t -> int
val of_list : (CCFlatHashtbl.S.key * 'a) list -> 'a CCFlatHashtbl.S.t
val to_list : 'a CCFlatHashtbl.S.t -> (CCFlatHashtbl.S.key * 'a) list
val of_seq :
(CCFlatHashtbl.S.key * 'a) CCFlatHashtbl.sequence ->
'a CCFlatHashtbl.S.t
val to_seq :
'a CCFlatHashtbl.S.t ->
(CCFlatHashtbl.S.key * 'a) CCFlatHashtbl.sequence
val keys :
'a CCFlatHashtbl.S.t -> CCFlatHashtbl.S.key CCFlatHashtbl.sequence
val values : 'a CCFlatHashtbl.S.t -> 'a CCFlatHashtbl.sequence
end
module type HASHABLE =
sig
type t
val equal :
CCFlatHashtbl.HASHABLE.t -> CCFlatHashtbl.HASHABLE.t -> bool
val hash : CCFlatHashtbl.HASHABLE.t -> int
end
module Make :
functor (X : HASHABLE) ->
sig
type key = X.t
type 'a t
val create : int -> 'a t
val mem : 'a t -> key -> bool
val find : 'a t -> key -> 'a option
val find_exn : 'a t -> key -> 'a
val get : key -> 'a t -> 'a option
val get_exn : key -> 'a t -> 'a
val add : 'a t -> key -> 'a -> unit
val remove : 'a t -> key -> unit
val size : 'a t -> int
val of_list : (key * 'a) list -> 'a t
val to_list : 'a t -> (key * 'a) list
val of_seq : (key * 'a) sequence -> 'a t
val to_seq : 'a t -> (key * 'a) sequence
val keys : 'a t -> key sequence
val values : 'a t -> 'a sequence
end
end