Module Statement.If

module Alternate : sig ... end
type ('M, 'T) t = {
  1. test : ('M, 'T) Expression.t;
  2. consequent : ('M, 'T) Statement.t;
  3. alternate : ('M, 'T) Alternate.t option;
  4. comments : ('M, unit) Syntax.t option;
}