pub fn state_programs(circuit: &Circuit) -> Vec<StateProgram>Expand description
2026-09-30: Every state program of circuit, one node per recurrent target state.
pub fn state_programs(circuit: &Circuit) -> Vec<StateProgram>2026-09-30: Every state program of circuit, one node per recurrent target state.