Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package solidity-typechecker
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val checkProgram : Solidity_ast.program -> unitChecks that a typed solidity AST verifies the Solidity standard properties. The list of exceptions this function may raise is defined in Solidity_exceptions