sig
  type 'a hc = { x : 'a; tag : int; }
  val hash_list : 'a HashCons.hc list -> int
  module type Type = sig type t end
  module type S =
    sig
      type data
      type t
      val create : int -> HashCons.S.t
      val clear : HashCons.S.t -> unit
      val hashcons :
        ?log:bool ->
        HashCons.S.t -> HashCons.S.data -> HashCons.S.data HashCons.hc
      module H1 :
        sig
          type key = data hc
          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
        end
      module H2 :
        sig
          type key = data hc * data hc
          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
        end
      type other_value
      module HV :
        sig
          type key = data hc * other_value
          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
        end
      val get_h1 :
        HashCons.S.t -> HashCons.S.data HashCons.hc HashCons.S.H1.t
      val get_h2 :
        HashCons.S.t -> HashCons.S.data HashCons.hc HashCons.S.H2.t
      val get_hv :
        HashCons.S.t -> HashCons.S.data HashCons.hc HashCons.S.HV.t
      val get_h1_alpha :
        (module HashCons.Type with type t = 'a) ->
        HashCons.S.t -> 'a HashCons.S.H1.t
    end
  module Make :
    functor (H : Hashtbl.HashedType) ->
      functor (V : Hashtbl.HashedType) ->
        sig
          type data = H.t
          type t
          val create : int -> t
          val clear : t -> unit
          val hashcons : ?log:bool -> t -> data -> data hc
          module H1 :
            sig
              type key = data hc
              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
            end
          module H2 :
            sig
              type key = data hc * data hc
              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
            end
          type other_value = V.t
          module HV :
            sig
              type key = data hc * other_value
              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
            end
          val get_h1 : t -> data hc H1.t
          val get_h2 : t -> data hc H2.t
          val get_hv : t -> data hc HV.t
          val get_h1_alpha : (module Type with type t = 'a) -> t -> 'a H1.t
        end
end