Type.Renders
type variant =
| Normal
| Maybe
| Star
type ('M, 'T) t = {
operator_loc : 'M;
argument : ('M, 'T) Type.t;
comments : ('M, unit) Syntax.t option;
variant : variant;
}