Module chalk_solve::coherence

Modules

• orphan
• solve 🔒

Structs

• CoherenceSolver
• SpecializationPriorities
  Stores the specialization priorities for a set of impls. This basically encodes which impls specialize one another.
• SpecializationPriority
  Impls with higher priority take precedence over impls with lower priority (if both apply to the same types). Impls with equal priority should never apply to the same set of input types.

Enums

• CoherenceError