module Variant_internal: sig .. end
sig
end
type '_ tag =
'_
|
Tag : ('variant, 'a) Variant_and_record_intf.M.Tag.t -> 'variant tag
('variant, 'a) Variant_and_record_intf.M.Tag.t
'variant tag
type '_ value =
Value : ('variant, 'a) Variant_and_record_intf.M.Tag.t * 'a -> 'variant value
('variant, 'a) Variant_and_record_intf.M.Tag.t * 'a
'variant value
type 'a t = {
'a
typename : 'a Typename.t;
'a Typename.t
tags : 'a tag array;
'a tag array
polymorphic : bool;
bool
value : 'a -> 'a value;
'a -> 'a value