mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-04 20:30:42 +07:00
c44fb89c28
Migrate to DocumentationMarkup elements GitOrigin-RevId: ea4d71638b1dd3a160521e655fd2a1670ea27701
1 line
295 B
HTML
1 line
295 B
HTML
<html><body><div class="definition"><pre><a href="psi_element://#module#DocOnOverloadDefinition">DocOnOverloadDefinition</a><br/>@<i>overload</i><br>def <b>foo</b>(param: <a href="psi_element://#typename#int">int</a>) -> <a href="psi_element://#typename#int">int</a></pre></div></body></html> |