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 same_location :
Solidity_checker_TYPES.location ->
Solidity_checker_TYPES.location ->
boolval same_options :
Solidity_checker_TYPES.function_options ->
Solidity_checker_TYPES.function_options ->
boolval same_type :
?ignore_loc:bool ->
Solidity_checker_TYPES.type_ ->
Solidity_checker_TYPES.type_ ->
boolval same_type_ol :
?ignore_loc:bool ->
Solidity_checker_TYPES.type_ option list ->
Solidity_checker_TYPES.type_ option list ->
boolval same_type_pl :
?ignore_loc:bool ->
(Solidity_checker_TYPES.type_ * Solidity_common.Ident.t option) list ->
(Solidity_checker_TYPES.type_ * Solidity_common.Ident.t option) list ->
boolval same_magic_type :
?ignore_loc:bool ->
Solidity_checker_TYPES.magic_type ->
Solidity_checker_TYPES.magic_type ->
boolval same_signature :
(Solidity_checker_TYPES.type_ * 'a) list ->
(Solidity_checker_TYPES.type_ * 'b) list ->
boolval has_mapping : Solidity_checker_TYPES.type_ -> boolval is_comparable :
Solidity_ast.compare_operator ->
Solidity_checker_TYPES.type_ ->
boolval is_reference_type : Solidity_checker_TYPES.type_ -> boolval is_storage_type : Solidity_checker_TYPES.type_ -> boolval promote_loc :
Solidity_checker_TYPES.location ->
Solidity_checker_TYPES.locationval unpromote_loc :
Solidity_checker_TYPES.location ->
Solidity_checker_TYPES.locationval unpromote_type :
Solidity_checker_TYPES.type_ ->
Solidity_checker_TYPES.type_val is_storage : Solidity_checker_TYPES.location -> boolval change_type_location :
Solidity_checker_TYPES.location ->
Solidity_checker_TYPES.type_ ->
Solidity_checker_TYPES.type_val get_type_location :
Solidity_common.pos ->
Solidity_checker_TYPES.type_ ->
Solidity_checker_TYPES.locationval is_function : Solidity_checker_TYPES.type_ -> boolval is_tuple : Solidity_checker_TYPES.type_ -> bool