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 error :
Solidity_common.pos ->
('a, Format.formatter, unit, unit, unit, 'b) format6 ->
'aval compute_selector :
Solidity_common.pos ->
library:bool ->
Solidity_common.Ident.t ->
(Solidity_checker_TYPES.type_ * 'a) list ->
stringval new_fun_options : Solidity_checker_TYPES.function_optionsval eval_array_length_exp :
Solidity_checker_TYPES.env ->
Solidity_ast.expression ->
Z.tval type_desc_to_base_type :
loc:Solidity_checker_TYPES.location ->
Solidity_checker_TYPES.type_desc ->
Solidity_checker_TYPES.type_val storage_location_to_location :
Solidity_ast.storage_location ->
Solidity_checker_TYPES.locationval elementary_type_to_type :
loc:Solidity_checker_TYPES.location ->
Solidity_ast.elementary_type ->
Solidity_checker_TYPES.type_val ast_type_to_type :
Solidity_common.pos ->
loc:Solidity_checker_TYPES.location ->
Solidity_checker_TYPES.env ->
Solidity_ast.type_ ->
Solidity_checker_TYPES.type_val var_type_to_type :
Solidity_common.pos ->
Solidity_checker_TYPES.env ->
arg:bool ->
ext:bool ->
Solidity_ast.storage_location option ->
Solidity_ast.type_ ->
Solidity_checker_TYPES.type_val function_type_to_desc :
Solidity_common.pos ->
Solidity_checker_TYPES.env ->
Solidity_ast.function_type ->
Solidity_checker_TYPES.function_descval process_fun_params :
Solidity_common.pos ->
Solidity_checker_TYPES.env ->
ext:bool ->
Solidity_ast.param list ->
(Solidity_checker_TYPES.type_ * Solidity_common.Ident.t option) listval process_fun_type_returns :
Solidity_common.pos ->
Solidity_checker_TYPES.env ->
ext:bool ->
(Solidity_ast.type_ * Solidity_ast.storage_location option) list ->
(Solidity_checker_TYPES.type_ * Solidity_common.Ident.t option) listval process_event_params :
Solidity_common.pos ->
Solidity_checker_TYPES.env ->
(Solidity_ast.type_ * 'a * 'b Solidity_common.node option) list ->
(Solidity_checker_TYPES.type_ * 'c option) listval variable_type_to_function_type :
Solidity_common.pos ->
Solidity_checker_TYPES.type_ ->
(Solidity_checker_TYPES.type_ * 'a option) list
* (Solidity_checker_TYPES.type_ * 'b option) listval variable_desc_to_function_desc :
Solidity_common.pos ->
Solidity_common.Ident.t ->
Solidity_common.absolute Solidity_common.LongIdent.t ->
Solidity_checker_TYPES.type_ ->
Solidity_checker_TYPES.function_descval event_desc_to_function_desc :
Solidity_checker_TYPES.event_desc ->
Solidity_checker_TYPES.function_descval local_variable_desc :
Solidity_checker_TYPES.type_ ->
Solidity_checker_TYPES.variable_descval process_overrides :
Solidity_checker_TYPES.env ->
Solidity_common.relative Solidity_common.LongIdent.t Solidity_common.node
list
option ->
Solidity_common.absolute Solidity_common.LongIdent.t list optionval make_modifier_desc :
Solidity_common.absolute Solidity_common.LongIdent.t ->
Solidity_ast.modifier_definition ->
Solidity_checker_TYPES.modifier_descval update_modifier_desc :
Solidity_common.pos ->
Solidity_checker_TYPES.env ->
Solidity_checker_TYPES.modifier_desc ->
unitval make_event_desc :
Solidity_common.absolute Solidity_common.LongIdent.t ->
Solidity_ast.event_definition ->
Solidity_checker_TYPES.event_descval update_event_desc :
Solidity_common.pos ->
Solidity_checker_TYPES.env ->
Solidity_checker_TYPES.event_desc ->
unitval make_variable_desc :
Solidity_common.absolute Solidity_common.LongIdent.t ->
Solidity_ast.state_variable_definition ->
Solidity_checker_TYPES.variable_descval update_variable_desc :
Solidity_common.pos ->
Solidity_checker_TYPES.env ->
Solidity_checker_TYPES.variable_desc ->
Solidity_ast.contract_kind option ->
unitval make_function_desc :
Solidity_common.absolute Solidity_common.LongIdent.t ->
Solidity_ast.function_definition ->
bool ->
Solidity_checker_TYPES.function_descval update_function_desc :
Solidity_common.pos ->
Solidity_checker_TYPES.env ->
Solidity_checker_TYPES.function_desc ->
Solidity_ast.contract_kind option ->
unitval update_struct_fields :
Solidity_checker_TYPES.struct_desc ->
(Solidity_common.Ident.t * Solidity_checker_TYPES.type_) list ->
unitval primitive_fun_desc :
?returns_lvalue:bool ->
Solidity_checker_TYPES.type_ list ->
Solidity_checker_TYPES.type_ list ->
Solidity_ast.fun_mutability ->
Solidity_checker_TYPES.function_descval primitive_fun_type :
?kind:Solidity_checker_TYPES.fun_kind ->
?returns_lvalue:bool ->
Solidity_checker_TYPES.type_ list ->
Solidity_checker_TYPES.type_ list ->
Solidity_ast.fun_mutability ->
Solidity_checker_TYPES.type_val primitive_fun :
?returns_lvalue:bool ->
Solidity_checker_TYPES.type_ list ->
Solidity_checker_TYPES.type_ list ->
Solidity_ast.fun_mutability ->
Solidity_checker_TYPES.ident_descval primitive_var_desc :
Solidity_checker_TYPES.type_ ->
Solidity_checker_TYPES.variable_descval primitive_var :
Solidity_checker_TYPES.type_ ->
Solidity_checker_TYPES.ident_desc