Type Definition air_test_utils::prelude::RestrictedStreamGens

pub type RestrictedStreamGens = HashMap<String, HashMap<AirPos, Vec<u32, Global>, RandomState>, RandomState>;

Mapping from a stream name to position of a new instruction in a script that creates a scope for a stream to vector where each position represents a corresponding iteration.

Vec is needed because a new instruction could be placed into a fold instruction, so it could be met several times during script execution. This field anchors iteration where it was met. Similar to pi-calculus restricted names/channels.