Type.OptionalIndexedAccess
type ('M, 'T) t = {
indexed_access : ('M, 'T) IndexedAccess.t;
optional : bool;
}