"""
Auto-generated Python stub file from main.py
Module: main
"""


import t
import stdio
import string
import c
import testcheck
import remote

def local_func() -> t.CInt: pass

def no_doc_func() -> t.CInt: pass


@t.Object
class LocalClass:
    value: t.CInt
    def local_method(self: LocalClass) -> t.CInt: pass

def _check_doc_adaptive(name: str, doc: str, expected: str) -> t.CInt: pass

def _check_doc_null(name: str, doc: str) -> t.CInt: pass

def test_local_doc() -> t.CInt: pass

def test_cross_module_doc() -> t.CInt: pass

def main() -> t.CInt: pass
