Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package solidity-typechecker
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val type_program : Solidity_ast.program -> Solidity_ast.programTypes a program and, if successful, returns the annoted program where the program_modules are ordered wrt. their dependencies.