TypeCheck (B2R2)

TypeCheck Module

Provides functions for type checking LowUIR.

Function or value	Description
`TypeCheck.expr e` Full Usage: `TypeCheck.expr e` Parameters: e : `Expr` Returns: `bool`	Type-checks a LowUIR expression. e : `Expr` Returns: `bool`
`TypeCheck.stmt s` Full Usage: `TypeCheck.stmt s` Parameters: s : `Stmt` Returns: `bool`	Type-checks a LowUIR statement. s : `Stmt` Returns: `bool`