Expression.Conditional
type ('M, 'T) t = {
test : ('M, 'T) Expression.t;
consequent : ('M, 'T) Expression.t;
alternate : ('M, 'T) Expression.t;
comments : ('M, unit) Syntax.t option;
}