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