pub fn require_verified(p: &SpatialProgram) -> Result<(), SpatialLowerError>Expand description
The precondition every lowering enforces.
pub fn require_verified(p: &SpatialProgram) -> Result<(), SpatialLowerError>The precondition every lowering enforces.