pub fn covers(build: &EngineParams, step: &Needs) -> Result<(), Vec<Gap>>Expand description
Whether the engine build runs the step step needs, or every gap: each width it holds at least as many of, each
block format its matrix unit reads in rows at least as long (the vector side’s registers among them, as deep as the
step’s deepest job that cannot run a chunk at a time), the recurrence unit of the same heads, the attention
unit of the same heads over at least as many positions, and on a hybrid build every streamed format decoded. A
build covers a step exactly when the union of the two (EngineParams::union) is the build. The vector unit’s
function units set how fast a function row runs, not what runs, so they leave no gap. Every field of the step’s
engine is named here, so a field EngineParams gains does not compile until it is judged.