[−][src]Module chalk_solve::coherence

Modules

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.