from .env import Module | |
from . import ir | |
def check_expr(env: Module, expr: ir.Expr) -> ir.Type: ... | |
def generalize(env: Module, expr: ir.Expr) -> ir.Expr: ... | |
def _get_checked_type(expr: ir.Expr) -> ir.Type: ... | |
def well_formed(expr: ir.Expr) -> bool: ... | |
def dead_code_elimination(expr: ir.Expr) -> ir.Expr: ... |