include module type of sig ... endmodule Tag_internal : sig ... endmodule Tag : sig ... endWitness of a tag, that is an item in a variant type, also called an "applied variant Constructor"
module Variant_internal : sig ... endmodule Variant : sig ... endmodule Field_internal : sig ... endmodule Field : sig ... endmodule Record_internal : sig ... endmodule Record : sig ... end