Kappa_generic_toolset.Hashed_list
module type Hash = sig ... end
module Make : functor (A : SetMap.OrderedType) -> Hash with type elt = A.t