Helper (B2R2)

Helper Module

Function or value Description

Function or value	Description
`typeCheck st` Full Usage: `typeCheck st` Parameters: st : `Stmt` Returns: `Parser<Stmt, 'a>`	st : `Stmt` Returns: `Parser<Stmt, 'a>`
`updateExpectedType e` Full Usage: `updateExpectedType e` Parameters: e : `Expr` Returns: `Parser<Expr, RegType>`	e : `Expr` Returns: `Parser<Expr, RegType>`


                
                  
                    
                      typeCheck st

Full Usage: typeCheck st

Parameters:

st : Stmt

Returns: Parser<Stmt, 'a>


                
                  
                    
                      updateExpectedType e

Full Usage: updateExpectedType e

Parameters:

e : Expr

Returns: Parser<Expr, RegType>