Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package solidity-typechecker
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Solidity_type_convSource
Source
val convertible_location :
from:Solidity_checker_TYPES.location ->
to_:Solidity_checker_TYPES.location ->
boolSource
val implicitly_convertible :
?ignore_loc:bool ->
from:Solidity_checker_TYPES.type_ ->
to_:Solidity_checker_TYPES.type_ ->
unit ->
boolSource
val implicitly_convertible_ol :
?ignore_loc:bool ->
from:Solidity_checker_TYPES.type_ option list ->
to_:Solidity_checker_TYPES.type_ option list ->
unit ->
boolSource
val explicitly_convertible :
from:Solidity_checker_TYPES.type_ ->
to_:Solidity_checker_TYPES.type_ ->
Solidity_checker_TYPES.type_ optionSource
val explicitly_convertible_ol :
from:Solidity_checker_TYPES.type_ option list ->
to_:Solidity_checker_TYPES.type_ option list ->
Solidity_checker_TYPES.type_ option list optionSource
val explicitly_convertible_bool :
from:Solidity_checker_TYPES.type_ ->
to_:Solidity_checker_TYPES.type_ ->
boolSource
val mobile_type :
Solidity_common.pos ->
Solidity_checker_TYPES.type_ ->
Solidity_checker_TYPES.type_Source
val common_type :
Solidity_checker_TYPES.type_ ->
Solidity_checker_TYPES.type_ ->
Solidity_checker_TYPES.type_ option