TypeCheck (B2R2)

TypeCheck Module

Function or value	Description
`TypeCheck.expr e` Full Usage: `TypeCheck.expr e` Parameters: e : `Expr` Returns: `bool`	e : `Expr` Returns: `bool`
`TypeCheck.stmt s` Full Usage: `TypeCheck.stmt s` Parameters: s : `Stmt` Returns: `bool`	s : `Stmt` Returns: `bool`
`TypeCheck.typeOf e` Full Usage: `TypeCheck.typeOf e` Parameters: e : `Expr` Returns: `RegType`	Get the type of an expression. e : `Expr` Returns: `RegType`