TermiNexus
f5da836fbb
机械规则 R2/R3/R4/R6/R7/R8/R13 + R16 保守子集，共 86 文件 2127 行。R1（T | t.CPtr）与 R12（while 下标循环）未做，仍列为待办。全量 77/77 顺序回归通过。
20 lines
279 B
Plaintext
20 lines
279 B
Plaintext
import t
|
|
|
|
|
|
def remote_func() -> int:
|
|
"Remote function docstring."
|
|
return 0
|
|
|
|
|
|
class RemoteClass:
|
|
"Remote class docstring."
|
|
value: int
|
|
|
|
def remote_method(self) -> int:
|
|
"Remote method docstring."
|
|
return 0
|
|
|
|
|
|
def no_doc_func() -> int:
|
|
return 0
|