pub type NavAgentId = ID<NavAgent>;
Expand description

Nav agent identifier.