package solidity-typechecker

  1. Overview
  2. Docs
val error : Solidity_common.pos -> ('a, Format.formatter, unit, unit, unit, 'b) format6 -> 'a
val sha3kec : bytes -> bytes
val compute_selector : Solidity_common.pos -> library:bool -> Solidity_common.Ident.t -> (Solidity_checker_TYPES.type_ * 'a) list -> string
val eval_array_length_exp : Solidity_checker_TYPES.env -> Solidity_ast.expression -> Z.t
val process_event_params : Solidity_common.pos -> Solidity_checker_TYPES.env -> (Solidity_ast.type_ * 'a * 'b Solidity_common.node option) list -> (Solidity_checker_TYPES.type_ * 'c option) list
val variable_type_to_function_type : Solidity_common.pos -> Solidity_checker_TYPES.type_ -> (Solidity_checker_TYPES.type_ * 'a option) list * (Solidity_checker_TYPES.type_ * 'b option) list
OCaml

Innovation. Community. Security.