nav typedef

nav = Navigation

HTML's nav tag(Navigation).

Implementation

typedef nav = Navigation;