XDR: typedef ExecProposeResult ExecProposeBatchResult<>.
typedef ExecProposeResult ExecProposeBatchResult<>
XDR:
typedef ExecProposeResult ExecProposeBatchResult<>.