Expression.Yield
type ('M, 'T) t = {
argument : ('M, 'T) Expression.t option;
comments : ('M, unit) Syntax.t option;
delegate : bool;
result_out : 'T;
}