Module `Hash_set_intf.Check`

module Make_creators_check : functor (Type : Base.T.T1) -> functor (Elt : Base.T.T1) -> functor (Options : Base.T.T2) -> functor (M : Creators_generic with type 'a t := 'a Type.t with type 'a elt := 'a Elt.t with type ('a, 'z) create_options := ('a, 'z) Options.t) -> sig ... end

module Check_creators_is_specialization_of_creators_generic : functor (M : Creators) -> sig ... end