[−][src]Module chalk_solve::clauses::program_clauses
Traits
| ToProgramClauses | Trait for lowering a given piece of rust-ir source (e.g., an impl or struct definition) into its associated "program clauses" -- that is, into the lowered, logical rules that it defines. |