Module type DHashhe.Param

module type Param = sig .. end

Input signature of the functor DHashhe.Make.

module HashX: Hashhe.S

Hashtable for objects in the first place of bindings

module HashY: Hashhe.S

Hashtable for objects in the second place of bindings