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