Crate cairo_lang_lowering

Cairo lowering.

This crate is responsible for handling the lowering phase.

Re-exports

• pub use self::objects::*;

Modules

• add_withdraw_gas
• borrow_check
• concretize
• db
• destructs
  This module implements the destructor call addition. It is assumed to run after the panic phase. This is similar to the borrow checking algorithm, except we handle “undroppable drops” by adding destructor calls.
• diagnostic
• fmt
• graph_algorithms
• ids
• implicits
• inline
• lower
• objects
  Intermediate representation objects after lowering from semantic. This representation is SSA (static single-assignment): each variable is defined before usage and assigned once. It is also normal form: each function argument is a variable, rather than a compound expression.
• optimizations
• panic
• reorganize_blocks
• scc
• utils