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