DisputeProof: $.Input<typeof $DisputeProof>