Module M (X : sig .. end)

X : sig .. end

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