sig
type _ tag =
Tag :
('variant, 'args) Variant_and_record_intf.M.Tag.t -> 'variant
Variant_and_record_intf.M.??.tag
type _ value =
Value : ('variant, 'args) Variant_and_record_intf.M.Tag.t *
'args -> 'variant Variant_and_record_intf.M.??.value
type 'a t
val typename_of_t : 'a Variant_and_record_intf.M.??.t -> 'a Typename.t
val length : 'a Variant_and_record_intf.M.??.t -> int
val tag :
'a Variant_and_record_intf.M.??.t ->
int -> 'a Variant_and_record_intf.M.??.tag
val is_polymorphic : 'a Variant_and_record_intf.M.??.t -> bool
val value :
'a Variant_and_record_intf.M.??.t ->
'a -> 'a Variant_and_record_intf.M.??.value
val fold :
'a Variant_and_record_intf.M.??.t ->
init:'acc ->
f:('acc -> 'a Variant_and_record_intf.M.??.tag -> 'acc) -> 'acc
val internal_use_only :
'a Variant_and_record_intf.M.Variant_internal.t ->
'a Variant_and_record_intf.M.??.t
end