Module Typerep.Variant_internal

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