redefine type lint

This commit is contained in:
sangge-redmi 2024-09-05 09:36:44 +08:00
parent 41038ebdf4
commit 9c1b3996f3

View File

@ -1,4 +1,6 @@
# ecc_rs.pyi
def add(p1: tuple[int, int], p2: tuple[int, int]) -> tuple[int, int]: ...
def multiply(point: tuple[int, int], n: int) -> tuple[int, int]: ...
point = tuple[int, int]
def add(p1: point, p2: point) -> point: ...
def multiply(point: point, n: int) -> point: ...