package typerep

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 =
  1. | T0 of (module T0 with type t = 'a)
  2. | T1 of (module T1 with type t = 'a)
  3. | T2 of (module T2 with type t = 'a)
  4. | T3 of (module T3 with type t = 'a)
  5. | T4 of (module T4 with type t = 'a)
  6. | 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