pub type NavigationId = u64;
Expand description

Unique identifier of a navigation. Can be used to correlate different phases for the same navigation. Guaranteed to be unique for all navigations in the same [Context].