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