navigator top-level property

Navigator navigator
getter/setter pair

Implementation

Navigator navigator = Navigator();