package solidity-typechecker

  1. Overview
  2. Docs
val error : Solidity_common.pos -> ('a, Format.formatter, unit, unit, unit, 'b) format6 -> 'a
type lookup_kind =
  1. | LAny
  2. | LInternal
  3. | LExternal
  4. | LStatic of Solidity_ast.contract_kind * bool
  5. | LSuper
  6. | LUsingFor
val is_internally_visible : Solidity_ast.visibility -> bool
val is_externally_visible : Solidity_ast.visibility -> bool
val is_statically_visible : library:bool -> Solidity_ast.visibility -> bool
val is_defined : Solidity_checker_TYPES.origin -> bool
val is_imported : Solidity_checker_TYPES.origin -> bool
val is_inherited : Solidity_checker_TYPES.origin -> bool
val is_visible : lookup_kind -> Solidity_ast.visibility -> origin:Solidity_checker_TYPES.origin -> variable:bool -> bool
OCaml

Innovation. Community. Security.