Skip to content
kirin-toolchain
Check type
Initializing search
kirin-toolchain
Home
Cookbook
Blog
API Reference
kirin-toolchain
kirin-toolchain
Home
Home
Installation
Declarations
Interpretation
Analysis
Dialects
Dialects
Python
Python
Core
Data
Syntax Sugar
Special Functions
Function
Control Flow
Structural Control Flow
Immutable List
Compiler 101
Contributing
Cookbook
Cookbook
examples
examples
Food Dialect
Food Dialect
Advanced Rewriting
Food Pricing Analysis Pass
Receipt Codegen
Pauli Algebra
Blog
Blog
Archive
Archive
2025
API Reference
API Reference
Prelude
IR
IR
Nodes
Nodes
Base
Block
Region
Stmt
View
SSA values
Attributes
Attributes
Abc
Data
Py
Types
Traits
Traits
Abc
Basic
Callable
Symbol
Region
Region
Ssacfg
Dialect
Dialect Group
Method
Interpreter
Interpreter
Abc
Abstract
Concrete
Exceptions
Frame
State
Table
Undefined
Value
Python Lowering
Python Lowering
Abc
Exception
Frame
State
Stream
Python
Python
Binding
Dialect
Glob
Lowering
Traits
Analysis
Analysis
CFG
Call Graph
Forward Dataflow
Type Inference
Type Inference
Analysis
Solve
Constant Propagation
Constant Propagation
Lattice
Prop
Rewrite
Rewrite
Generic
Generic
Abc
Alias
Apply type
Call2invoke
Chain
Compactify
Cse
Dce
Fixpoint
Fold
Getfield
Getitem
Inline
Type assert
Walk
Wrap const
Aggressive
Aggressive
Fold
Rules
Method Pass
Method Pass
Abc
Canonicalize
Default
Fold
Hint const
Inline
Post inference
Typeinfer
Aggressive
Aggressive
Fold
Code Generation
Pretty Printing
Pretty Printing
Printable
Printer
IR declaration
IR declaration
Base
Camel2snake
Info
Scan fields
Verify
Emit
Emit
Check
Check type
Check type
Table of contents
check_type
Dialect
Init
Name
Property
Repr
Traits
Exceptions
Data Structures
Data Structures
Lattice
Graph
IdTable
Source
WorkList
Table of contents
check_type
Check type
Back to top