package solidity-typechecker

  1. Overview
  2. Docs

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

OCaml

Innovation. Community. Security.