Pattern.Arraymodule Element : sig ... endtype ('M, 'T) element = | Element of ('M, 'T) Element.t| RestElement of ('M, 'T) RestElement.t| Hole of 'Mand ('M, 'T) t = {elements : ('M, 'T) element list;annot : ('M, 'T) Type.annotation_or_hint;comments : ('M, 'M Comment.t list) Syntax.t option;}