28 lines
442 B
Python
28 lines
442 B
Python
"""
|
|
Auto-generated Python stub file from main.py
|
|
Module: main
|
|
"""
|
|
|
|
import c
|
|
|
|
|
|
import t
|
|
import stdio
|
|
import testcheck
|
|
|
|
def double[T](x: int) -> int: pass
|
|
|
|
def test_explicit_type_arg() -> t.CInt: pass
|
|
|
|
def identity[T](x: int) -> int: pass
|
|
|
|
def test_identity_explicit() -> t.CInt: pass
|
|
|
|
def add_one[T](x: T) -> T: pass
|
|
|
|
def test_add_one_explicit() -> t.CInt: pass
|
|
|
|
def test_mixed_inference_explicit() -> t.CInt: pass
|
|
|
|
def main() -> t.CInt: pass
|