"""
Auto-generated Python stub file from lib.core.Handles.HandlesFor.py
Module: lib.core.Handles.HandlesFor
"""


import t, c
from stdint import *
import ast
import llvmlite
import memhub
import string
import stdio
import viperlib
import lib.core.Handles.HandlesBase as HandlesBase
import lib.core.Handles.HandlesTranslator as HT
import lib.core.Handles.HandlesVar as HandlesVar
import lib.core.Handles.HandlesExpr as HandlesExpr
import lib.core.Handles.HandlesBody as HandlesBody
import lib.core.Handles.HandlesType as HandlesType

@t.NoVTable
class ForHandle(HandlesBase.Mixin):
    def __init__(self: ForHandle, trans: HT.Translator | t.CPtr) -> t.CInt: pass
    def Handle(self: ForHandle, node: ast.AST | t.CPtr) -> int: pass
    def _handle_ptr_iter(self: ForHandle, for_node: ast.For | t.CPtr, var_name: str) -> int: pass

def NewForHandle(pool: memhub.MemBuddy | t.CPtr, trans: HT.Translator | t.CPtr) -> ForHandle | t.CPtr: pass
