Module Statement.Try

module CatchClause : sig ... end
type ('M, 'T) t = {
  1. block : 'M * ('M, 'T) Block.t;
  2. handler : ('M, 'T) CatchClause.t option;
  3. finalizer : ('M * ('M, 'T) Block.t) option;
  4. comments : ('M, unit) Syntax.t option;
}