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