@ file : Suppress (" UN CHECK ED _ CAST _ TO _ EXTERNAL _ INTERFACE ") Ċ Ċ package Ġdo ist . ff s . components . react ist Ċ Ċ import Ġorg . w 3 c . dom . HTML Anchor Element Ċ import Ġorg . w 3 c . dom . HTML Button Element Ċ import Ġorg . w 3 c . dom . HTML Div Element Ċ import Ġorg . w 3 c . dom . HTML InputElement Ċ import Ġreact . React Element Ċ import Ġreact . dom . html . Anchor HTML Attributes Ċ import Ġreact . dom . html . Button HTML Attributes Ċ import Ġreact . dom . html . HTML Attributes Ċ import Ġreact . dom . html . Input HTML Attributes Ċ Ċ type alias ĠHtml Div Props Ġ= ĠHTML Attributes < HTML Div Element > Ċ type alias ĠHtml Input Props Ġ= ĠInput HTML Attributes < HTML InputElement > Ċ type alias ĠHtml Button Props Ġ= ĠButton HTML Attributes < HTML Button Element > Ċ type alias ĠHtml Anchor Props Ġ= ĠAnchor HTML Attributes < HTML Anchor Element > Ċ Ċ type alias ĠIcon Element Ġ= ĠReact Element < *> Ċ