@ file : Js Module ("@ jetbrains / ring - ui / components / button / button ") Ċ Ċ package Ġring ui . button Ċ Ċ import Ġreact . Component Ċ import Ġreact . R State Ċ import Ġreact . React Element Ċ Ċ @ Js Name (" default ") Ċ external Ġclass ĠButton Ġ: ĠComponent < Button Props , ĠR State > Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġrender (): ĠReact Element ? Ċ } Ċ