Solidity_typechecker (solidity-typechecker.Solidity

val type_program : 
  ?init:(unit -> unit) ->
  Solidity_ast.program ->
  Solidity_ast.program

Types a program and, if successful, returns the annoted program where the program_modules are ordered wrt. their dependencies.

val expect_expression_type : 
  Solidity_checker_TYPES.options ->
  Solidity_checker_TYPES.env ->
  Solidity_ast.expression ->
  Solidity_checker_TYPES.type_ ->
  unit

val type_options_ref : 
  (Solidity_checker_TYPES.options ->
    Solidity_checker_TYPES.env ->
    Solidity_common.pos ->
    bool ->
    Solidity_checker_TYPES.function_options ->
    (Solidity_ast.ident * Solidity_ast.expression) list ->
    Solidity_checker_TYPES.function_options)
    Stdlib.ref