MmrBatchProof: $.Input<typeof $MmrBatchProof>