pub type NavAgentId = ID<NavAgent>;
Nav agent identifier.
pub struct NavAgentId { /* private fields */ }