type _ tag
=
|
Tag : ('variant, 'a) Tag.t ‑> 'variant tag
type _ value
Value : ('variant, 'a) Tag.t * 'a ‑> 'variant value
type 'a t
{
typename : 'a Typerep_lib.Typename.t;
tags : 'a tag array;
polymorphic : bool;
value : 'a ‑> 'a value;
}