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`