Module Generic_core_desc.T

module T: sig .. end
One may open T to bring constructor names in scope, typically for pattern-matching.

type 'a desc = 
| Array : 'e Ty.T.ty
* (module Generic_core_desc.Array.intf with type elt = 'e and type t = 'a0)
-> 'a0 desc
| Product : 'ts Product.t * ('ts, 'p) Fun.iso -> 'p desc
| Record : ('p0, 'r) Generic_core_desc.Record.t -> 'r desc
| Synonym : 'a1 Ty.T.ty * ('a1, 'b) Equal.t -> 'b desc
| Variant of 'a Generic_core_desc.Variant.t
| Extensible of 'a Generic_core_desc.Ext.t
| Custom of 'a Generic_core_desc.Custom.t
| Class of 'a Generic_core_desc.Class.t
| Abstract
| NoDesc