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