Solidity_tenv (solidity-typechecker.Solidity

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

type lookup_kind =

| LAny
| LInternal
| LExternal
| LStatic of Solidity_ast.contract_kind * bool
| LSuper
| 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

val filter_by_visibility : 
  lookup_kind ->
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list

val lookup_ident : 
  Solidity_checker_TYPES.env ->
  upper:bool ->
  lookup:lookup_kind ->
  Solidity_common.Ident.t ->
  Solidity_checker_TYPES.ident_desc list

val lookup_lident : 
  Solidity_checker_TYPES.env ->
  upper:bool ->
  lookup:lookup_kind ->
  Solidity_common.relative Solidity_common.LongIdent.t ->
  Solidity_checker_TYPES.ident_desc list

val find_ident : 
  Solidity_checker_TYPES.env ->
  lookup:lookup_kind ->
  Solidity_common.Ident.t ->
  Solidity_checker_TYPES.ident_desc list

val find_lident : 
  Solidity_checker_TYPES.env ->
  lookup:lookup_kind ->
  Solidity_common.relative Solidity_common.LongIdent.t ->
  Solidity_checker_TYPES.ident_desc list

val find_type : 
  Solidity_checker_TYPES.env ->
  Solidity_common.relative Solidity_common.LongIdent.t ->
  Solidity_checker_TYPES.type_ option

val find_contract : 
  Solidity_checker_TYPES.env ->
  Solidity_common.relative Solidity_common.LongIdent.t ->
  Solidity_checker_TYPES.contract_desc option

val find_constructor : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.contract_desc ->
  Solidity_checker_TYPES.function_desc

val has_abstract_function : 
  Solidity_checker_TYPES.contract_desc ->
  Solidity_common.Ident.t option

val prim_desc : 
  (Solidity_common.pos ->
    Solidity_checker_TYPES.options ->
    Solidity_checker_TYPES.type_ option ->
    Solidity_checker_TYPES.ident_desc option)
    array

val add_primitive_desc : 
  int ->
  (Solidity_common.pos ->
    Solidity_checker_TYPES.options ->
    Solidity_checker_TYPES.type_ option ->
    Solidity_checker_TYPES.ident_desc option) ->
  unit