Library solidity-typechecker

Ocaml-solidity provides a Solidity parser and typechecker

This library exposes the following toplevel modules:

• Main
• Solidity_c3
• Solidity_checker_TYPES
• Solidity_postcheck_utils 1 Type definitions
• Solidity_postprocess
• Solidity_primitives
• Solidity_tenv
• Solidity_tenv_builder
• Solidity_type
• Solidity_type_builder
• Solidity_type_conv
• Solidity_type_printer
• Solidity_typechecker