A (Std.Type_generic.Helper.1A)

type 'a t

module Tag_internal : sig .. end

module Tag : sig .. end

Witness of a tag, that is an item in a variant type, also called an "applied variant Constructor"

module Variant_internal : sig .. end

module Variant : sig .. end

module Field_internal : sig .. end

module Field : sig .. end

module Record_internal : sig .. end

module Record : sig .. end

Parameter A : Variant_and_record_intf.S