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