Docs.rs
cairo-lang-semantic-2.13.1
cairo-lang-semantic 2.13.1
Permalink
Docs.rs crate page
Links
Repository
crates.io
Source
Owners
gilbens-starkware
orizi
Dependencies
bincode ^2
normal
cairo-lang-debug ~2.13.1
normal
cairo-lang-defs ~2.13.1
normal
cairo-lang-diagnostics ~2.13.1
normal
cairo-lang-filesystem ~2.13.1
normal
cairo-lang-parser ~2.13.1
normal
cairo-lang-plugins ~2.13.1
normal
cairo-lang-proc-macros ~2.13.1
normal
cairo-lang-syntax ~2.13.1
normal
cairo-lang-test-utils ~2.13.1
normal
optional
cairo-lang-utils ~2.13.1
normal
id-arena ^2.2.1
normal
indoc ^2.0.6
normal
itertools ^0.14.0
normal
num-bigint ^0.4.6
normal
num-traits ^0.2.19
normal
salsa ^0.24.0
normal
serde ^1.0.219
normal
sha3 ^0.10.8
normal
toml ^0.9.5
normal
optional
log ^0.4.27
dev
pretty_assertions ^1.4.1
dev
toml ^0.9.5
dev
tracing ^0.1.40
dev
Versions
33.67%
of the crate is documented
Platform
aarch64-apple-darwin
aarch64-unknown-linux-gnu
i686-pc-windows-msvc
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
Module infers
cairo_
lang_
semantic
2.13.1
Module infers
Module Items
Traits
In cairo_
lang_
semantic::
expr::
inference
cairo_lang_semantic
::
expr
::
inference
Module
infers
Copy item path
Source
Traits
ยง
Inference
Embeddings
Functions for embedding generic semantic objects in an existing
Inference
object, by introducing new variables.