pub fn verify(
        &self,
        ledger_info: &LedgerInfo,
        first_transaction_version: Option<Version>,
    ) -> Result<()> {
        ensure!(
            self.first_transaction_version == first_transaction_version,
            "First transaction version ({}) not expected ({}).",
            Self::display_option_version(self.first_transaction_version),
            Self::display_option_version(first_transaction_version),
        );

        verify_transaction_list(ledger_info, self)
    }
/// Verifies the transaction list with the proofs, both carried on `self`.
///
/// Two things are ensured if no error is raised:
///   1. All the transactions exist on the ledger represented by `ledger_info`.
///   2. And the transactions in the list has consecutive versions starting from
/// `first_transaction_version`. When `first_transaction_version` is None, ensures the list is
/// empty.
Verifies the transaction list with the proofs, both carried on `self`.
Two things are ensured if no error is raised:
1. All the transactions exist on the ledger represented by `ledger_info`.
2. And the transactions in the list has consecutive versions starting from
`first_transaction_version`. When `first_transaction_version` is None, ensures the list is
empty.
Verifies the transaction list with the proofs both carried on ` self ` . Two things are ensured if no error is raised : 1 . All the transactions exist on the ledger represented by ` ledger_info ` . 2 . And the transactions in the list has consecutive versions starting from ` first_transaction_version ` . When ` first_transaction_version ` is None ensures the list is empty .
pub fn verify(
        &self,
        ledger_info: &LedgerInfo,
        first_transaction_version: Option<Version>,
    ) -> Result<()> {
        ensure!(
            self.first_transaction_version == first_transaction_version,
            "First transaction version ({}) not expected ({}).",
            Self::display_option_version(self.first_transaction_version),
            Self::display_option_version(first_transaction_version),
        );
        verify_transaction_list(ledger_info, self)
    }
pub fn verify ( & self , ledger_info : & LedgerInfo , first_transaction_version : Option < Version > , ) -> Result < ( ) > { ensure ! ( self first_transaction_version first_transaction_version " " Self display_option_version ( self first_transaction_version ) Self display_option_version ( first_transaction_version ) ) ; verify_transaction_list ( ledger_info , self ) }
Verifies the transaction list with the proofs, both carried on `self`.
Verifies the transaction list with the proofs both carried on ` self ` .
&self
ledger_info
&LedgerInfo
first_transaction_version
Option<Version>