pub fn removals<V: FullRemovalView>(view: &V) -> Result<RemovalResult, V::Error>Expand description
Recompute every row using §8.4’s three steps. The view controls iteration order; no choice of monotone rule order changes the result (proofs/merge.md B8).