package solidity-typechecker
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
v0.2.0.tar.gz
sha256=d5d0f31101413c9a36d6a37973aa03fde788644808f34dbff0220ee45c17ece4
doc/solidity-typechecker/Solidity_tenv/index.html
Module Solidity_tenvSource
Source
type lookup_kind = | LAny| LInternal| LExternal| LStatic of Solidity_ast.contract_kind * bool| LSuper| LUsingFor
Source
val is_visible :
lookup_kind ->
Solidity_ast.visibility ->
origin:Solidity_checker_TYPES.origin ->
variable:bool ->
boolSource
val filter_by_visibility :
lookup_kind ->
(Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
(Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) listSource
val lookup_ident :
Solidity_checker_TYPES.env ->
upper:bool ->
lookup:lookup_kind ->
Solidity_common.Ident.t ->
Solidity_checker_TYPES.ident_desc listSource
val lookup_lident :
Solidity_checker_TYPES.env ->
upper:bool ->
lookup:lookup_kind ->
Solidity_common.relative Solidity_common.LongIdent.t ->
Solidity_checker_TYPES.ident_desc listSource
val find_ident :
Solidity_checker_TYPES.env ->
lookup:lookup_kind ->
Solidity_common.Ident.t ->
Solidity_checker_TYPES.ident_desc listSource
val find_lident :
Solidity_checker_TYPES.env ->
lookup:lookup_kind ->
Solidity_common.relative Solidity_common.LongIdent.t ->
Solidity_checker_TYPES.ident_desc listSource
val find_type :
Solidity_checker_TYPES.env ->
Solidity_common.relative Solidity_common.LongIdent.t ->
Solidity_checker_TYPES.type_ optionSource
val find_contract :
Solidity_checker_TYPES.env ->
Solidity_common.relative Solidity_common.LongIdent.t ->
Solidity_checker_TYPES.contract_desc optionSource
val find_constructor :
Solidity_common.pos ->
Solidity_checker_TYPES.contract_desc ->
Solidity_checker_TYPES.function_descSource
val has_abstract_function :
Solidity_checker_TYPES.contract_desc ->
Solidity_common.Ident.t optionSource
val prim_desc :
(Solidity_common.pos ->
Solidity_checker_TYPES.options ->
Solidity_checker_TYPES.type_ option ->
Solidity_checker_TYPES.ident_desc option)
arraySource
val add_primitive_desc :
int ->
(Solidity_common.pos ->
Solidity_checker_TYPES.options ->
Solidity_checker_TYPES.type_ option ->
Solidity_checker_TYPES.ident_desc option) ->
unit