50 lines
988 B
Python
50 lines
988 B
Python
"""
|
|
Auto-generated Python stub file from main.py
|
|
Module: main
|
|
"""
|
|
|
|
import c
|
|
|
|
|
|
import t
|
|
import stdio
|
|
import testcheck
|
|
|
|
class Box[T]:
|
|
value: T
|
|
def __init__(self: Box, v: T) -> t.CInt: pass
|
|
def get(self: Box) -> T: pass
|
|
def set(self: Box, v: T) -> t.CInt: pass
|
|
|
|
def test_explicit_box() -> t.CInt: pass
|
|
|
|
|
|
class Pair[T1, T2]:
|
|
first: T1
|
|
second: T2
|
|
def __init__(self: Pair, a: T1, b: T2) -> t.CInt: pass
|
|
def sum_as_int(self: Pair) -> t.CInt: pass
|
|
|
|
def test_explicit_pair() -> t.CInt: pass
|
|
|
|
|
|
class Wrapper[T]:
|
|
data: T
|
|
def __init__(self: Wrapper, v: T) -> t.CInt: pass
|
|
def get(self: Wrapper) -> T: pass
|
|
|
|
def test_mixed_generic_class() -> t.CInt: pass
|
|
|
|
|
|
class Counter[T]:
|
|
count: T
|
|
def __init__(self: Counter, start: T) -> t.CInt: pass
|
|
def increment(self: Counter) -> t.CInt: pass
|
|
def get_count(self: Counter) -> T: pass
|
|
|
|
def test_explicit_counter() -> t.CInt: pass
|
|
|
|
def test_explicit_box_set() -> t.CInt: pass
|
|
|
|
def main() -> t.CInt: pass
|