///|
/// `window.navigator` object
/// https://developer.mozilla.org/en-US/docs/Web/API/Navigator
#external
pub(all) type Navigator