header typedef

header = Header

HTML's header tag(Header).

Implementation

typedef header = Header;