Module type Module_type_subst.s