RustQ.Meta.Typing.Env (rustq v0.9.2)

Copy Markdown View Source

Typing environment threaded through synthesis/checking.

Summary

Types

t()

Types

t()

@type t() :: %RustQ.Meta.Typing.Env{
  callables: RustQ.Binding.Index.t(),
  rust_modules: %{optional([atom()]) => [atom()]},
  vars: %{optional(atom()) => RustQ.Meta.Type.t()}
}