Up

Module Named

Signature

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 T0 with type t = 'a)
| T1 of (module T1 with type t = 'a)
| T2 of (module T2 with type t = 'a)
| T3 of (module T3 with type t = 'a)
| T4 of (module T4 with type t = 'a)
| T5 of (module T5 with type t = 'a)
val arity : _ t -> int
val typename_of_t : 'a t -> 'a Typename.t
val name : _ t -> string