Up

Module Variant_internal

Signature

type _ tag =

| Tag : ('variant, 'a) Tag.t -> 'variant tag

type _ value =

| Value : ('variant, 'a) Tag.t * 'a -> 'variant value

type 'a t = {

typename	: 'a Typename.t	;
tags	: 'a tag array	;
polymorphic	: bool	;
value	: 'a -> 'a value	;

}