# Module type Std_internal.Typerep.Named.T4

    module type T4 = sig .. end

    type ('a, 'b, 'c, 'd) named

    type a

    val a : a Std_internal.Typerep.t

    type b

    val b : b Std_internal.Typerep.t

    type c

    val c : c Std_internal.Typerep.t

    type d

    val d : d Std_internal.Typerep.t

    type t

    val typename_of_named : 'a Typename.t ->
           'b Typename.t ->
           'c Typename.t ->
           'd Typename.t ->
           ('a, 'b, 'c, 'd) named Typename.t

    val typename_of_t : t Typename.t

    val witness : (t,
            (a, b,
             c, d)
            named)
           Type_equal.t