Module Generic_core_product.T

module T: sig .. end

This module defines the product datatype and is meant to be open so that constructors can be used in pattern matching.

type 'a product =

`\|`	`Nil : unit product`
`\|`	`Cons : 'a0 Ty.T.ty * 'b product -> ('a0 * 'b) product`