"""
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