module Named: sig
.. end
module type T0 = sig
.. end
module type T1 = sig
.. end
module type T2 = sig
.. end
module type T3 = sig
.. end
module type T4 = sig
.. end
module type T5 = sig
.. end
type 'a
t =
| |
T0 of (module Std_internal.Typerep.Named.T0 with type t = 'a) |
| |
T1 of (module Std_internal.Typerep.Named.T1 with type t = 'a) |
| |
T2 of (module Std_internal.Typerep.Named.T2 with type t = 'a) |
| |
T3 of (module Std_internal.Typerep.Named.T3 with type t = 'a) |
| |
T4 of (module Std_internal.Typerep.Named.T4 with type t = 'a) |
| |
T5 of (module Std_internal.Typerep.Named.T5 with type t = 'a) |
val arity : 'a t -> int
val typename_of_t : 'a t -> 'a Typename.t
val name : 'a t -> string