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