/// Assert that the database is well-formed.
///
/// This is used in tests and during fuzzing. This is a high-level check
/// that invokes `check_invariants` on the parts that make up the database.
///
/// Panics on a violated invariant, returns unit on success.
Assert that the database is well-formed.
This is used in tests and during fuzzing. This is a high-level check
that invokes `check_invariants` on the parts that make up the database.

Panics on a violated invariant, returns unit on success.
Assert that the database is well - formed . This is used in tests and during fuzzing . This is a high - level check that invokes ` check_invariants ` on the parts that make up the database . Panics on a violated invariant returns unit on success .
pub fn check_invariants(&self) -> io::Result<()> where Heap: heap::SizedHeap {
        heap::check_invariants(&self.heap);
        self.eavt().check_invariants()?;
        self.aevt().check_invariants()?;
        self.avet().check_invariants()?;
        Ok(())
    }
pub fn check_invariants ( & self ) -> io :: Result < ( ) > where Heap : heap :: SizedHeap { heap :: check_invariants ( & self . heap ) ; self . eavt ( ) . check_invariants ( ) ? ; self . aevt ( ) . check_invariants ( ) ? ; self . avet ( ) . check_invariants ( ) ? ; Ok ( ( ) ) }
Assert that the database is well-formed.
Assert that the database is well - formed .
&self