Module Base__.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 t := a Type.t with type 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