Type Definition air_test_utils::prelude::GlobalStreamGens
source · pub type GlobalStreamGens = HashMap<String, u32, RandomState>;
Expand description
Mapping from a stream name to it’s generation count. Similar to pi-calculus non-restricted names/channels.