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