Module Statement.Switch

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