Statement.Labeled
type ('M, 'T) t = {
label : ('M, 'M) Identifier.t;
body : ('M, 'T) Statement.t;
comments : ('M, unit) Syntax.t option;
}