[−][src]Module rusty_junctions::types::ids
Adds specific ID types for the various IDs that are used in the crate.
Structs
ChannelId | ID to identify a channel within a Join Pattern. |
JoinPatternId | ID to identify a Join Pattern within a Junction. |
JunctionId | ID for a Junction to identify itself. |
Statics
LATEST_JUNCTION_ID | Globally synchronized counter to ensure that no two Junctions will have the same ID. |