Solidity_type (solidity-typechecker.Solidity

val error : 
  Solidity_common.pos ->
  ('a, Stdlib.Format.formatter, unit, unit, unit, 'b) Stdlib.format6 ->
  'a

val same_location : 
  Solidity_checker_TYPES.location ->
  Solidity_checker_TYPES.location ->
  bool

val same_options : 
  Solidity_checker_TYPES.function_options ->
  Solidity_checker_TYPES.function_options ->
  bool

val same_type : 
  ?ignore_loc:bool ->
  ?relax_visibility:bool ->
  Solidity_checker_TYPES.type_ ->
  Solidity_checker_TYPES.type_ ->
  bool

val same_type_ol : 
  ?ignore_loc:bool ->
  Solidity_checker_TYPES.type_ option list ->
  Solidity_checker_TYPES.type_ option list ->
  bool

val same_type_pl : 
  ?ignore_loc:bool ->
  ?relax_visibility:bool ->
  (Solidity_checker_TYPES.type_ * Solidity_common.Ident.t option) list ->
  (Solidity_checker_TYPES.type_ * Solidity_common.Ident.t option) list ->
  bool

val same_magic_type : 
  ?ignore_loc:bool ->
  Solidity_checker_TYPES.magic_type ->
  Solidity_checker_TYPES.magic_type ->
  bool

val same_signature : 
  (Solidity_checker_TYPES.type_ * 'a) list ->
  (Solidity_checker_TYPES.type_ * 'b) list ->
  bool

val has_mapping : Solidity_checker_TYPES.type_ -> bool

val is_comparable : 
  Solidity_ast.compare_operator ->
  Solidity_checker_TYPES.type_ ->
  bool

val is_reference_type : Solidity_checker_TYPES.type_ -> bool

val is_storage_type : Solidity_checker_TYPES.type_ -> bool

val promote_loc : 
  Solidity_checker_TYPES.location ->
  Solidity_checker_TYPES.location

val unpromote_loc : 
  Solidity_checker_TYPES.location ->
  Solidity_checker_TYPES.location

val unpromote_type : 
  Solidity_checker_TYPES.type_ ->
  Solidity_checker_TYPES.type_

val is_storage : Solidity_checker_TYPES.location -> bool

val 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.location

val is_function : Solidity_checker_TYPES.type_ -> bool

val is_tuple : Solidity_checker_TYPES.type_ -> bool