Functor DHashhe.Make

module Make: 
functor (P : Param) -> S with module HashX = P.HashX and module HashY = P.HashY
Functor building an implementation of the DHashtbl structure given two hashtables
Parameters:
P : Param

module HashX: Hashhe.S 
module HashY: Hashhe.S 
type x = HashX.key 
type y = HashY.key 
type t 
val hashx : t -> y HashX.t
val hashy : t -> x HashY.t
val clear : t -> unit
val create : int -> t
val add : t -> x -> y -> unit
val y_of_x : t -> x -> y
val x_of_y : t -> y -> x
val removex : t -> x -> unit
val removey : t -> y -> unit
val memx : t -> x -> bool
val memy : t -> y -> bool
val iter : t -> (x -> y -> unit) -> unit
val fold : t -> 'a -> (x -> y -> 'a -> 'a) -> 'a
val cardinal : t -> int
val print : ?first:(unit, Format.formatter, unit) Pervasives.format ->
?sep:(unit, Format.formatter, unit) Pervasives.format ->
?last:(unit, Format.formatter, unit) Pervasives.format ->
?firstbind:(unit, Format.formatter, unit) Pervasives.format ->
?sepbind:(unit, Format.formatter, unit) Pervasives.format ->
?lastbind:(unit, Format.formatter, unit) Pervasives.format ->
(Format.formatter -> x -> unit) ->
(Format.formatter -> y -> unit) ->
Format.formatter -> t -> unit