package solidity-typechecker

  1. Overview
  2. Docs
val error : Solidity_common.pos -> ('a, Format.formatter, unit, unit, unit, 'b) 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_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
OCaml

Innovation. Community. Security.