Module Type.Tuple

module LabeledElement : sig ... end
module SpreadElement : sig ... end
type ('M, 'T) element = 'M * ('M, 'T) element'
and ('M, 'T) element' =
  1. | UnlabeledElement of ('M, 'T) Type.t
  2. | LabeledElement of ('M, 'T) LabeledElement.t
  3. | SpreadElement of ('M, 'T) SpreadElement.t
and ('M, 'T) t = {
  1. elements : ('M, 'T) element list;
  2. comments : ('M, unit) Syntax.t option;
}