mirror of
https://github.com/davidhalter/jedi.git
synced 2025-12-06 22:14:27 +08:00
9 lines
148 B
Python
9 lines
148 B
Python
from typing import overload
|
|
|
|
|
|
@overload
|
|
def with_overload(x: int, y: int) -> float: ...
|
|
|
|
@overload
|
|
def with_overload(x: str, y: list) -> float: ...
|