18 lines
222 B
Python
18 lines
222 B
Python
"""
|
|
Auto-generated Python stub file from main.py
|
|
Module: main
|
|
"""
|
|
|
|
import c
|
|
|
|
|
|
import t
|
|
import stdio
|
|
import testcheck
|
|
|
|
def make_counter() -> t.CPtr: pass
|
|
|
|
def test_closure_call() -> t.CInt: pass
|
|
|
|
def main() -> t.CInt: pass
|