pub fn compose(
sections: Vec<SpatialProgram>,
links: &[Link],
state: &[String],
placement: SectionPlacement,
target: &SpatialTarget,
) -> Result<SpatialProgram, ComposeReject>Expand description
Join verified sections into one program.
links is the front end’s dataflow (advisory — the roles are derived from what the SECTIONS do, so
the sub-sections an op expands into are handled by the same rule as the statements themselves), and
state names the tensors the step carries across tokens.