Module cairo_lang_lowering::implicits

Functions

• concrete_function_with_body_all_implicits
  Query implementation of crate::db::LoweringGroup::concrete_function_with_body_all_implicits.
• concrete_function_with_body_all_implicits_vec
  Query implementation of crate::db::LoweringGroup::concrete_function_with_body_all_implicits_vec.
• function_all_implicits
  Query implementation of crate::db::LoweringGroup::function_all_implicits.
• function_scc_explicit_implicits
  Query implementation of crate::db::LoweringGroup::function_scc_explicit_implicits.
• inner_lower_implicits
  Similar to lower_implicits, but uses Maybe<> for convenience.
• lower_implicits
  Lowering phase that adds implicits.