package solidity-typechecker

You can search for identifiers within the package.

in-package search v0.2.0

The ocaml-solidity project

Install

Dune Dependency

github.com Readme Changelog LGPL-2.1-only WITH OCaml-LGPL-linking-exception License Edit opam file Versions (1)

Authors

Maintainers

Sources

sha256=d5d0f31101413c9a36d6a37973aa03fde788644808f34dbff0220ee45c17ece4

doc/solidity-typechecker/Solidity_typechecker/index.html

Module `Solidity_typechecker`Source

Sourceval type_program : 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.