Module chalk_integration::query

Structs

• ArcEq
• CheckedProgramQuery
• CoherenceQuery
• EnvironmentQuery
• Lowering
  Representative struct for the query group.
• LoweringDatabaseGroupStorage__
• OrphanCheckQuery
• ProgramIrQuery
• ProgramTextQuery
• SolverChoiceQuery
• SolverQuery

Traits

• LoweringDatabase
• Upcast
• UpcastFrom

Functions

• checked_program 🔒
• coherence 🔒
• environment 🔒
• orphan_check 🔒
• program_ir 🔒
• solver 🔒