cairo-lang-semantic-2.7.0-rc.2
- cairo-lang-semantic 2.7.0-rc.2
- Docs.rs crate page
- Links
- Repository
- crates.io
- Source
- Owners
- gilbens-starkware
- orizi
- Dependencies
- cairo-lang-debug ~2.7.0-rc.2 normal
  
  cairo-lang-defs ~2.7.0-rc.2 normal
  
  cairo-lang-diagnostics ~2.7.0-rc.2 normal
  
  cairo-lang-filesystem ~2.7.0-rc.2 normal
  
  cairo-lang-parser ~2.7.0-rc.2 normal
  
  cairo-lang-plugins ~2.7.0-rc.2 normal
  
  cairo-lang-proc-macros ~2.7.0-rc.2 normal
  
  cairo-lang-syntax ~2.7.0-rc.2 normal
  
  cairo-lang-test-utils ~2.7.0-rc.2 normal optional
  
  cairo-lang-utils ~2.7.0-rc.2 normal
  
  id-arena ^2.2.1 normal
  
  indoc ^2.0.5 normal
  
  itertools ^0.12.1 normal
  
  num-bigint ^0.4.5 normal
  
  num-traits ^0.2.19 normal
  
  once_cell ^1.19.0 normal
  
  salsa ^0.16.1 normal
  
  smol_str ^0.2.0 normal
  
  toml ^0.8.12 normal optional
  
  env_logger ^0.11.3 dev
  
  log ^0.4.21 dev
  
  pretty_assertions ^1.4.0 dev
  
  test-log ^0.2.16 dev
  
  toml ^0.8.12 dev
- Versions
- 44.23% of the crate is documented
Go to latest stable release
Platform
Feature flags

Rust

cairo_lang_semantic2.7.0-rc.2

Module infers

Traits

In cairo_lang_semantic::expr::inference

Module cairo_lang_semantic::expr::inference::infers

Traits§

InferenceEmbeddings
Functions for embedding generic semantic objects in an existing Inference object, by introducing new variables.