pub fn require_one_plan(p: &SpatialProgram) -> Result<(), SpatialLowerError>Expand description
The precondition of a printer that emits ONE kernel shape from work.plan: every section of the program
runs under that plan. A composition’s work.plan is its last section’s, so any section lowered under
another plan would be printed as the wrong kernel.