Indexed_pool.For_tests
val assert_invariants : t -> unit
Checks the invariants of the data structure. If this throws an exception there is a bug.