Solidity_type_conv (solidity-typechecker.Solidity_type

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

val is_storage : Solidity_checker_TYPES.location -> bool

val is_storage_ptr : Solidity_checker_TYPES.location -> bool

val convertible_location : 
  from:Solidity_checker_TYPES.location ->
  to_:Solidity_checker_TYPES.location ->
  bool

val decimals_space : int -> int

val integer_part_size : int -> int -> int

val valid_utf8_string : string -> bool

val implicitly_convertible : 
  ?ignore_loc:bool ->
  from:Solidity_checker_TYPES.type_ ->
  to_:Solidity_checker_TYPES.type_ ->
  unit ->
  bool

val implicitly_convertible_ol : 
  ?ignore_loc:bool ->
  from:Solidity_checker_TYPES.type_ option list ->
  to_:Solidity_checker_TYPES.type_ option list ->
  unit ->
  bool

val explicitly_convertible : 
  from:Solidity_checker_TYPES.type_ ->
  to_:Solidity_checker_TYPES.type_ ->
  Solidity_checker_TYPES.type_ option

val explicitly_convertible_ol : 
  from:Solidity_checker_TYPES.type_ option list ->
  to_:Solidity_checker_TYPES.type_ option list ->
  Solidity_checker_TYPES.type_ option list option

val explicitly_convertible_bool : 
  from:Solidity_checker_TYPES.type_ ->
  to_:Solidity_checker_TYPES.type_ ->
  bool

val mobile_type : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.type_ ->
  Solidity_checker_TYPES.type_

val common_type : 
  Solidity_checker_TYPES.type_ ->
  Solidity_checker_TYPES.type_ ->
  Solidity_checker_TYPES.type_ option