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
  module Poly :
    sig
      val get : ('a, 'b) Hashtbl.t -> 'a -> 'b option
      val get_or : ('a, 'b) Hashtbl.t -> 'a -> default:'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 get_or_add : ('a, 'b) Hashtbl.t -> f:('a -> 'b) -> k:'a -> 'b
      val print :
        'a CCHashtbl.printer ->
        'b CCHashtbl.printer -> ('a, 'b) Hashtbl.t CCHashtbl.printer
    end
  val get : ('a, 'b) Hashtbl.t -> 'a -> 'b option
  val get_or : ('a, 'b) Hashtbl.t -> 'a -> default:'b -> 'b
  val keys : ('a, 'b) Hashtbl.t -> 'a sequence
  val values : ('a, 'b) Hashtbl.t -> 'b 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) sequence
  val add_list : ('a, 'b list) Hashtbl.t -> 'a -> 'b -> unit
  val add_seq : ('a, 'b) Hashtbl.t -> ('a * 'b) sequence -> unit
  val of_seq : ('a * 'b) sequence -> ('a, 'b) Hashtbl.t
  val add_seq_count : ('a, int) Hashtbl.t -> 'a sequence -> unit
  val of_seq_count : 'a 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 get_or_add : ('a, 'b) Hashtbl.t -> f:('a -> 'b) -> k:'a -> 'b
  val print : 'a printer -> 'b printer -> ('a, 'b) Hashtbl.t 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 filter_map_inplace : (key -> 'a -> 'a option) -> '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 -> default:'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 get_or_add : 'a t -> f:(key -> 'a) -> k:key -> 'a
      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 filter_map_inplace : (key -> 'a -> 'a option) -> '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 -> default:'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 get_or_add : 'a t -> f:(key -> 'a) -> k:key -> 'a
        val print : key printer -> 'a printer -> 'a t printer
      end
end