sig
  type 'a sequence = ('a -> unit) -> unit
  type 'a eq = 'a -> 'a -> bool
  type 'a hash = 'a -> int
  type 'a printer = Format.formatter -> 'a -> unit
  val get : ('a, 'b) Hashtbl.t -> 'a -> 'b option
  val get_or : ('a, 'b) Hashtbl.t -> 'a -> or_:'b -> 'b
  val keys : ('a, 'b) Hashtbl.t -> 'a CCHashtbl.sequence
  val values : ('a, 'b) Hashtbl.t -> 'b CCHashtbl.sequence
  val keys_list : ('a, 'b) Hashtbl.t -> 'a list
  val values_list : ('a, 'b) Hashtbl.t -> 'b list
  val map_list : ('a -> 'b -> 'c) -> ('a, 'b) Hashtbl.t -> 'c list
  val incr : ?by:int -> ('a, int) Hashtbl.t -> 'a -> unit
  val decr : ?by:int -> ('a, int) Hashtbl.t -> 'a -> unit
  val to_seq : ('a, 'b) Hashtbl.t -> ('a * 'b) CCHashtbl.sequence
  val add_list : ('a, 'b list) Hashtbl.t -> 'a -> 'b -> unit
  val add_seq : ('a, 'b) Hashtbl.t -> ('a * 'b) CCHashtbl.sequence -> unit
  val of_seq : ('a * 'b) CCHashtbl.sequence -> ('a, 'b) Hashtbl.t
  val add_seq_count : ('a, int) Hashtbl.t -> 'a CCHashtbl.sequence -> unit
  val of_seq_count : 'a CCHashtbl.sequence -> ('a, int) Hashtbl.t
  val to_list : ('a, 'b) Hashtbl.t -> ('a * 'b) list
  val of_list : ('a * 'b) list -> ('a, 'b) Hashtbl.t
  val update :
    ('a, 'b) Hashtbl.t -> f:('a -> 'b option -> 'b option) -> k:'a -> unit
  val print :
    'a CCHashtbl.printer ->
    'b CCHashtbl.printer -> ('a, 'b) Hashtbl.t CCHashtbl.printer
  module type S =
    sig
      type key
      type 'a t
      val create : int -> 'a t
      val clear : 'a t -> unit
      val reset : 'a t -> unit
      val copy : 'a t -> 'a t
      val add : 'a t -> key -> 'a -> unit
      val remove : 'a t -> key -> unit
      val find : 'a t -> key -> 'a
      val find_all : 'a t -> key -> 'a list
      val replace : 'a t -> key -> 'a -> unit
      val mem : 'a t -> key -> bool
      val iter : (key -> 'a -> unit) -> 'a t -> unit
      val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
      val length : 'a t -> int
      val stats : 'a t -> Hashtbl.statistics
      val get : 'a t -> key -> 'a option
      val get_or : 'a t -> key -> or_:'a -> 'a
      val add_list : 'a list t -> key -> 'a -> unit
      val incr : ?by:int -> int t -> key -> unit
      val decr : ?by:int -> int t -> key -> unit
      val keys : 'a t -> key CCHashtbl.sequence
      val values : 'a t -> 'a CCHashtbl.sequence
      val keys_list : 'a t -> key list
      val values_list : 'a t -> 'a list
      val map_list : (key -> 'a -> 'b) -> 'a t -> 'b list
      val to_seq : 'a t -> (key * 'a) CCHashtbl.sequence
      val of_seq : (key * 'a) CCHashtbl.sequence -> 'a t
      val add_seq : 'a t -> (key * 'a) CCHashtbl.sequence -> unit
      val add_seq_count : int t -> key CCHashtbl.sequence -> unit
      val of_seq_count : key CCHashtbl.sequence -> int t
      val to_list : 'a t -> (key * 'a) list
      val of_list : (key * 'a) list -> 'a t
      val update : 'a t -> f:(key -> 'a option -> 'a option) -> k:key -> unit
      val print :
        key CCHashtbl.printer ->
        'a CCHashtbl.printer -> 'a t CCHashtbl.printer
    end
  module Make :
    functor (X : Hashtbl.HashedType) ->
      sig
        type key = X.t
        type 'a t = 'a Hashtbl.Make(X).t
        val create : int -> 'a t
        val clear : 'a t -> unit
        val reset : 'a t -> unit
        val copy : 'a t -> 'a t
        val add : 'a t -> key -> 'a -> unit
        val remove : 'a t -> key -> unit
        val find : 'a t -> key -> 'a
        val find_all : 'a t -> key -> 'a list
        val replace : 'a t -> key -> 'a -> unit
        val mem : 'a t -> key -> bool
        val iter : (key -> 'a -> unit) -> 'a t -> unit
        val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
        val length : 'a t -> int
        val stats : 'a t -> Hashtbl.statistics
        val get : 'a t -> key -> 'a option
        val get_or : 'a t -> key -> or_:'a -> 'a
        val add_list : 'a list t -> key -> 'a -> unit
        val incr : ?by:int -> int t -> key -> unit
        val decr : ?by:int -> int t -> key -> unit
        val keys : 'a t -> key sequence
        val values : 'a t -> 'a sequence
        val keys_list : 'a t -> key list
        val values_list : 'a t -> 'a list
        val map_list : (key -> 'a -> 'b) -> 'a t -> 'b list
        val to_seq : 'a t -> (key * 'a) sequence
        val of_seq : (key * 'a) sequence -> 'a t
        val add_seq : 'a t -> (key * 'a) sequence -> unit
        val add_seq_count : int t -> key sequence -> unit
        val of_seq_count : key sequence -> int t
        val to_list : 'a t -> (key * 'a) list
        val of_list : (key * 'a) list -> 'a t
        val update :
          'a t -> f:(key -> 'a option -> 'a option) -> k:key -> unit
        val print : key printer -> 'a printer -> 'a t printer
      end
  module type DEFAULT =
    sig
      type key
      type 'a t
      val create : ?size:int -> 'a -> 'a CCHashtbl.DEFAULT.t
      val create_with :
        ?size:int -> (CCHashtbl.DEFAULT.key -> 'a) -> 'a CCHashtbl.DEFAULT.t
      val get : 'a CCHashtbl.DEFAULT.t -> CCHashtbl.DEFAULT.key -> 'a
      val set : 'a CCHashtbl.DEFAULT.t -> CCHashtbl.DEFAULT.key -> 'a -> unit
      val remove : 'a CCHashtbl.DEFAULT.t -> CCHashtbl.DEFAULT.key -> unit
      val to_seq :
        'a CCHashtbl.DEFAULT.t ->
        (CCHashtbl.DEFAULT.key * 'a) CCHashtbl.sequence
    end
  module MakeDefault :
    functor (X : Hashtbl.HashedType) ->
      sig
        type key = X.t
        type 'a t
        val create : ?size:int -> 'a -> 'a t
        val create_with : ?size:int -> (key -> 'a) -> 'a t
        val get : 'a t -> key -> 'a
        val set : 'a t -> key -> 'a -> unit
        val remove : 'a t -> key -> unit
        val to_seq : 'a t -> (key * 'a) sequence
      end
  module type COUNTER =
    sig
      type elt
      type t
      val create : int -> CCHashtbl.COUNTER.t
      val incr : CCHashtbl.COUNTER.t -> CCHashtbl.COUNTER.elt -> unit
      val incr_by :
        CCHashtbl.COUNTER.t -> int -> CCHashtbl.COUNTER.elt -> unit
      val get : CCHashtbl.COUNTER.t -> CCHashtbl.COUNTER.elt -> int
      val decr : CCHashtbl.COUNTER.t -> CCHashtbl.COUNTER.elt -> unit
      val length : CCHashtbl.COUNTER.t -> int
      val add_seq :
        CCHashtbl.COUNTER.t ->
        CCHashtbl.COUNTER.elt CCHashtbl.sequence -> unit
      val of_seq :
        CCHashtbl.COUNTER.elt CCHashtbl.sequence -> CCHashtbl.COUNTER.t
      val to_seq :
        CCHashtbl.COUNTER.t ->
        (CCHashtbl.COUNTER.elt * int) CCHashtbl.sequence
      val add_list :
        CCHashtbl.COUNTER.t -> (CCHashtbl.COUNTER.elt * int) list -> unit
      val of_list : (CCHashtbl.COUNTER.elt * int) list -> CCHashtbl.COUNTER.t
      val to_list : CCHashtbl.COUNTER.t -> (CCHashtbl.COUNTER.elt * int) list
    end
  module MakeCounter :
    functor (X : Hashtbl.HashedType) ->
      sig
        type elt = X.t
        type t = int Hashtbl.Make(X).t
        val create : int -> t
        val incr : t -> elt -> unit
        val incr_by : t -> int -> elt -> unit
        val get : t -> elt -> int
        val decr : t -> elt -> unit
        val length : t -> int
        val add_seq : t -> elt sequence -> unit
        val of_seq : elt sequence -> t
        val to_seq : t -> (elt * int) sequence
        val add_list : t -> (elt * int) list -> unit
        val of_list : (elt * int) list -> t
        val to_list : t -> (elt * int) list
      end
end