package solidity-typechecker

  1. Overview
  2. Docs
val error : Solidity_common.pos -> ('a, Format.formatter, unit, unit, unit, 'b) format6 -> 'a
val same_type : ?ignore_loc: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 -> (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_reference_type : Solidity_checker_TYPES.type_ -> bool
val is_storage_type : Solidity_checker_TYPES.type_ -> bool
val is_storage : Solidity_checker_TYPES.location -> bool
val is_function : Solidity_checker_TYPES.type_ -> bool
val is_tuple : Solidity_checker_TYPES.type_ -> bool
OCaml

Innovation. Community. Security.