sig
  module Make0 :
    functor (X : Named_intf.S0->
      sig
        val typerep_of_t : X.t Std_internal.Typerep.t
        val typename_of_t : X.t Typename.t
      end
  module Make1 :
    functor (X : Named_intf.S1->
      sig
        val typerep_of_t :
          'Std_internal.Typerep.t -> 'X.t Std_internal.Typerep.t
        val typename_of_t : 'Typename.t -> 'X.t Typename.t
      end
  module Make2 :
    functor (X : Named_intf.S2->
      sig
        val typerep_of_t :
          'Std_internal.Typerep.t ->
          'Std_internal.Typerep.t -> ('a, 'b) X.t Std_internal.Typerep.t
        val typename_of_t :
          'Typename.t -> 'Typename.t -> ('a, 'b) X.t Typename.t
      end
  module Make3 :
    functor (X : Named_intf.S3->
      sig
        val typerep_of_t :
          'Std_internal.Typerep.t ->
          'Std_internal.Typerep.t ->
          'Std_internal.Typerep.t ->
          ('a, 'b, 'c) X.t Std_internal.Typerep.t
        val typename_of_t :
          'Typename.t ->
          'Typename.t -> 'Typename.t -> ('a, 'b, 'c) X.t Typename.t
      end
  module Make4 :
    functor (X : Named_intf.S4->
      sig
        val typerep_of_t :
          'Std_internal.Typerep.t ->
          'Std_internal.Typerep.t ->
          'Std_internal.Typerep.t ->
          'Std_internal.Typerep.t ->
          ('a, 'b, 'c, 'd) X.t Std_internal.Typerep.t
        val typename_of_t :
          'Typename.t ->
          'Typename.t ->
          'Typename.t -> 'Typename.t -> ('a, 'b, 'c, 'd) X.t Typename.t
      end
  module Make5 :
    functor (X : Named_intf.S5->
      sig
        val typerep_of_t :
          'Std_internal.Typerep.t ->
          'Std_internal.Typerep.t ->
          'Std_internal.Typerep.t ->
          'Std_internal.Typerep.t ->
          'Std_internal.Typerep.t ->
          ('a, 'b, 'c, 'd, 'e) X.t Std_internal.Typerep.t
        val typename_of_t :
          'Typename.t ->
          'Typename.t ->
          'Typename.t ->
          'Typename.t ->
          'Typename.t -> ('a, 'b, 'c, 'd, 'e) X.t Typename.t
      end
end