Solidity_tenv_builder (solidity-typechecker.Solidity_tenv

val error : 
  Solidity_common.pos ->
  ('a, Stdlib.Format.formatter, unit, unit, unit, 'b) Stdlib.format6 ->
  'a

val error_module_already_declared : 
  Solidity_common.pos ->
  Solidity_common.Ident.t ->
  'a

val error_local_already_declared : 
  Solidity_common.pos ->
  Solidity_common.Ident.t ->
  'a

val error_contract_already_declared : 
  Solidity_common.pos ->
  Solidity_common.Ident.t ->
  'a

val error_inheritance_already_declared : 
  Solidity_common.pos ->
  Solidity_common.Ident.t ->
  'a

val error_defined_twice : Solidity_common.pos -> string -> 'a

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 idd_pos : Solidity_checker_TYPES.ident_desc -> Solidity_common.pos

val idd_eq_pos : 
  Solidity_checker_TYPES.ident_desc ->
  Solidity_checker_TYPES.ident_desc ->
  bool

idd_eq_pos id1 id2 returns true if the idds id1 and id2 are of the same type and located in the same position.

val new_env : 
  ?upper_env:Solidity_checker_TYPES.env ->
  unit ->
  Solidity_checker_TYPES.env

val add_module_ident : 
  Solidity_checker_TYPES.env ->
  Solidity_common.IdentMap.key ->
  Solidity_checker_TYPES.ident_desc ->
  unit

val add_imported_definitions : 
  Solidity_checker_TYPES.env Solidity_common.IdentMap.t ->
  Solidity_ast.module_ ->
  Solidity_ast.module_ list ->
  unit

val resolve_aliases : 
  Solidity_checker_TYPES.env Solidity_common.IdentMap.t ->
  Solidity_ast.module_ ->
  unit

val check_clashes_in_module : 
  Solidity_checker_TYPES.env Solidity_common.IdentMap.t ->
  Solidity_ast.module_ ->
  unit

val can_add_type : 'a list -> 'b -> bool

val can_add_modifier : 
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
  'a ->
  bool

val can_add_event : (Solidity_checker_TYPES.ident_desc * 'a) list -> 'b -> bool

val can_add_variable : 
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
  Solidity_checker_TYPES.variable_desc ->
  bool

val can_add_function : 
  (Solidity_checker_TYPES.ident_desc * 'a) list ->
  'b ->
  bool

type action =

| Add
| Skip
| Fail

val add_inherited_definitions : Solidity_checker_TYPES.contract_desc -> unit

val add_contract_ident : 
  Solidity_checker_TYPES.contract_desc ->
  Solidity_common.IdentMap.key ->
  Solidity_checker_TYPES.ident_desc ->
  unit

val add_using_for : 
  Solidity_checker_TYPES.env ->
  Solidity_checker_TYPES.contract_desc ->
  Solidity_checker_TYPES.type_ option ->
  unit

val finalize_definitions : 
  Solidity_checker_TYPES.env Solidity_common.IdentMap.t ->
  Solidity_ast.module_ ->
  unit

val add_module : 
  'a list ->
  Solidity_checker_TYPES.module_desc ->
  Solidity_checker_TYPES.origin ->
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list

val add_contract : 
  'a list ->
  Solidity_checker_TYPES.contract_desc ->
  Solidity_checker_TYPES.origin ->
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list

val add_type : 
  'a list ->
  Solidity_checker_TYPES.type_desc ->
  'b ->
  (Solidity_checker_TYPES.ident_desc * 'b) list

val add_modifier : 
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
  Solidity_checker_TYPES.modifier_desc ->
  Solidity_checker_TYPES.origin ->
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list

val add_event : 
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
  Solidity_checker_TYPES.event_desc ->
  Solidity_checker_TYPES.origin ->
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list

val add_variable : 
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
  Solidity_checker_TYPES.variable_desc ->
  Solidity_checker_TYPES.origin ->
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list

val add_function : 
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
  Solidity_checker_TYPES.function_desc ->
  Solidity_checker_TYPES.origin ->
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list

val check_and_filter_overloads : 
  Solidity_checker_TYPES.env Solidity_common.IdentMap.t ->
  Solidity_ast.module_ ->
  unit

val add_local_variable : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  Solidity_common.IdentMap.key ->
  Solidity_checker_TYPES.variable_desc ->
  unit