Type Alias ContradictionCountParams

The same, for a fact counted rather than named (a width, a channel count).

type ContradictionCountParams = {
declared: number;
observed: number;
}