package solidity-typechecker

  1. Overview
  2. Docs
val checkProgram : Solidity_ast.program -> unit

Checks that a typed solidity AST verifies the Solidity standard properties. The list of exceptions this function may raise is defined in Solidity_exceptions