_ir_pass.pyi 314 Bytes
Newer Older
1
from .env import Module
2 3
from . import ir

4 5
def check_expr(env: Module, expr: ir.Expr) -> ir.Type: ...
def generalize(env: Module, expr: ir.Expr) -> ir.Expr: ...
6
def _get_checked_type(expr: ir.Expr) -> ir.Type: ...
7
def well_formed(expr: ir.Expr) -> bool: ...
8
def dead_code_elimination(expr: ir.Expr) -> ir.Expr: ...