Solidity_type_builder (solidity-typechecker.Solidity_type

val error : 
  Solidity_common.pos ->
  ('a, Stdlib.Format.formatter, unit, unit, unit, 'b) Stdlib.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 new_fun_options : Solidity_checker_TYPES.function_options

val eval_array_length_exp : 
  Solidity_checker_TYPES.env ->
  Solidity_ast.expression ->
  Z.t

val type_desc_to_base_type : 
  loc:Solidity_checker_TYPES.location ->
  Solidity_checker_TYPES.type_desc ->
  Solidity_checker_TYPES.type_

val storage_location_to_location : 
  Solidity_ast.storage_location ->
  Solidity_checker_TYPES.location

val elementary_type_to_type : 
  loc:Solidity_checker_TYPES.location ->
  Solidity_ast.elementary_type ->
  Solidity_checker_TYPES.type_

val ast_type_to_type : 
  Solidity_common.pos ->
  loc:Solidity_checker_TYPES.location ->
  Solidity_checker_TYPES.env ->
  Solidity_ast.type_ ->
  Solidity_checker_TYPES.type_

val var_type_to_type : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  arg:bool ->
  ext:bool ->
  Solidity_ast.storage_location option ->
  Solidity_ast.type_ ->
  Solidity_checker_TYPES.type_

val function_type_to_desc : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  Solidity_ast.function_type ->
  Solidity_checker_TYPES.function_desc

val process_fun_params : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  ext:bool ->
  Solidity_ast.param list ->
  (Solidity_checker_TYPES.type_ * Solidity_common.Ident.t option) list

val process_fun_type_returns : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  ext:bool ->
  (Solidity_ast.type_ * Solidity_ast.storage_location option) list ->
  (Solidity_checker_TYPES.type_ * Solidity_common.Ident.t option) list

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_ * 'b 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

val variable_desc_to_function_desc : 
  Solidity_common.pos ->
  Solidity_common.Ident.t ->
  Solidity_common.absolute Solidity_common.LongIdent.t ->
  Solidity_checker_TYPES.type_ ->
  Solidity_checker_TYPES.function_desc

val event_desc_to_function_desc : 
  Solidity_checker_TYPES.event_desc ->
  Solidity_checker_TYPES.function_desc

val local_variable_desc : 
  Solidity_checker_TYPES.type_ ->
  Solidity_checker_TYPES.variable_desc

val process_overrides : 
  Solidity_checker_TYPES.env ->
  Solidity_common.relative Solidity_common.LongIdent.t Solidity_common.node
    list
    option ->
  Solidity_common.absolute Solidity_common.LongIdent.t list option

val make_modifier_desc : 
  Solidity_common.absolute Solidity_common.LongIdent.t ->
  Solidity_ast.modifier_definition ->
  Solidity_checker_TYPES.modifier_desc

val update_modifier_desc : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  Solidity_checker_TYPES.modifier_desc ->
  unit

val make_event_desc : 
  Solidity_common.absolute Solidity_common.LongIdent.t ->
  Solidity_ast.event_definition ->
  Solidity_checker_TYPES.event_desc

val update_event_desc : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  Solidity_checker_TYPES.event_desc ->
  unit

val make_variable_desc : 
  Solidity_common.absolute Solidity_common.LongIdent.t ->
  Solidity_ast.state_variable_definition ->
  Solidity_checker_TYPES.variable_desc

val update_variable_desc : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  Solidity_checker_TYPES.variable_desc ->
  Solidity_ast.contract_kind option ->
  unit

val make_function_desc : 
  Solidity_common.absolute Solidity_common.LongIdent.t ->
  Solidity_ast.function_definition ->
  bool ->
  Solidity_checker_TYPES.function_desc

val update_function_desc : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  Solidity_checker_TYPES.function_desc ->
  Solidity_ast.contract_kind option ->
  unit

val update_struct_fields : 
  Solidity_checker_TYPES.struct_desc ->
  (Solidity_common.Ident.t * Solidity_checker_TYPES.type_) list ->
  unit

val primitive_fun_desc : 
  ?returns_lvalue:bool ->
  ?purity:Solidity_checker_TYPES.function_purity ->
  Solidity_checker_TYPES.type_ list ->
  Solidity_checker_TYPES.type_ list ->
  Solidity_ast.fun_mutability ->
  Solidity_checker_TYPES.function_desc

val primitive_fun_type : 
  ?kind:Solidity_checker_TYPES.fun_kind ->
  ?returns_lvalue:bool ->
  Solidity_checker_TYPES.type_ list ->
  Solidity_checker_TYPES.type_ list ->
  Solidity_ast.fun_mutability ->
  Solidity_checker_TYPES.type_

val primitive_fun : 
  ?returns_lvalue:bool ->
  ?purity:Solidity_checker_TYPES.function_purity ->
  Solidity_checker_TYPES.type_ list ->
  Solidity_checker_TYPES.type_ list ->
  Solidity_ast.fun_mutability ->
  Solidity_checker_TYPES.ident_desc

val primitive_var_desc : 
  Solidity_checker_TYPES.type_ ->
  Solidity_checker_TYPES.variable_desc

val primitive_var : 
  Solidity_checker_TYPES.type_ ->
  Solidity_checker_TYPES.ident_desc