Module broccoli::assert

Contains support for verifying query results against naive implementation.

Structs

• Assert
  Compare query results between Tree and the easily verifiable Naive versions.
• Naive
  Easily verifiable naive query algorithms.

Functions

• assert_tree_invariants
  panics if a broken broccoli tree invariant is detected. For debugging purposes only.