# Module type Std_internal.Typerep.Named.T2

    module type T2 = sig .. end

    type ('a, 'b) named

    type a

    val a : a Std_internal.Typerep.t

    type b

    val b : b Std_internal.Typerep.t

    type t

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

    val typename_of_t : t Typename.t

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