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 ;
}