Lines Matching full:invariant
352 * IMPORTANT INVARIANT:580 // This mechanism is a bit clunky but it helps to preserve the invariant that the dispatch
