pub fn flatten_patterns(
patterns: &[NaryRulePattern],
) -> Result<NaryPatternBatchLayout, NaryLayoutError>Expand description
Flatten a validated pattern batch into the device layout.
The caller has already established canonical form per pattern
(NaryRulePattern::validate); this function enforces only the
DEVICE bounds and refuses anything the kernel could not evaluate.