Function verify_database_impl 

pub fn verify_database_impl(
    db_impl: &DatabaseImpl,
    config: &VerifyConfig,
) -> VerifyResult

Verify a DatabaseImpl’s B-tree structural integrity.

Calls verify_tree() on the underlying real B-tree when one is present. Used by Database::verify() in noxu-db to bridge the crate boundary (noxu-db does not depend directly on noxu-tree).

Mirrors DatabaseImpl.verify(VerifyConfig) in— calls BtreeVerifier on the tree owned by the DatabaseImpl.

Arguments

• db_impl - The database implementation to verify.
• config - Configuration controlling what to verify.

Returns

A VerifyResult with structural errors and the count of records verified.