Pattern.Identifier
type ('M, 'T) t = {
name : ('M, 'T) Identifier.t;
annot : ('M, 'T) Type.annotation_or_hint;
optional : bool;
}