Module Statement.Switch

module Case: { ... };
type t('M, 'T) = {
  1. discriminant: Expression.t('M, 'T),
  2. cases: list(Case.t('M, 'T)),
  3. comments: option(Syntax.t('M, unit)),
  4. exhaustive_out: 'T,
};