broccoli::analyze::assert
#[must_use]pub fn tree_invariants<'a, T: Queries<'a>>(a: &T) -> bool
Returns false if the tree's invariants are not met.