sig
  module type S =
    sig
      type key
      type elt
      type t
      val length : Bihashtbl.S.t -> int
      val create : int -> Bihashtbl.S.t
      val clear : Bihashtbl.S.t -> unit
      val copy : Bihashtbl.S.t -> Bihashtbl.S.t
      val mem : Bihashtbl.S.t -> Bihashtbl.S.key -> bool
      val mem_inv : Bihashtbl.S.t -> Bihashtbl.S.elt -> bool
      val add : Bihashtbl.S.t -> Bihashtbl.S.key -> Bihashtbl.S.elt -> unit
      val find : Bihashtbl.S.t -> Bihashtbl.S.key -> Bihashtbl.S.elt
      val find_inv : Bihashtbl.S.t -> Bihashtbl.S.elt -> Bihashtbl.S.key
      val remove_key : Bihashtbl.S.t -> Bihashtbl.S.key -> unit
      val remove_elt : Bihashtbl.S.t -> Bihashtbl.S.elt -> unit
      val replace :
        Bihashtbl.S.t -> Bihashtbl.S.key -> Bihashtbl.S.elt -> unit
      val iter :
        (Bihashtbl.S.key -> Bihashtbl.S.elt -> unit) -> Bihashtbl.S.t -> unit
      val fold :
        (Bihashtbl.S.key -> Bihashtbl.S.elt -> 'a -> 'a) ->
        Bihashtbl.S.t -> 'a -> 'a
    end
  module Make :
    functor (K : Hashtbl.HashedType) ->
      functor (E : Hashtbl.HashedType) ->
        sig
          type key = K.t
          type elt = E.t
          type t
          val length : t -> int
          val create : int -> t
          val clear : t -> unit
          val copy : t -> t
          val mem : t -> key -> bool
          val mem_inv : t -> elt -> bool
          val add : t -> key -> elt -> unit
          val find : t -> key -> elt
          val find_inv : t -> elt -> key
          val remove_key : t -> key -> unit
          val remove_elt : t -> elt -> unit
          val replace : t -> key -> elt -> unit
          val iter : (key -> elt -> unit) -> t -> unit
          val fold : (key -> elt -> 'a -> 'a) -> t -> 'a -> 'a
        end
end

---

Hosted by the ^* web site.
^*Other names and brands may be claimed as the property of others.