[−][src]Module chalk_ir::interner
Encapsulates the concrete representation of core types such as types and goals.
Traits
HasInterner | Implemented by types that have an associated interner (which
are virtually all of the types in chalk-ir, for example).
This lets us map from a type like |
Interner | A "interner" encapsulates the concrete representation of
certain "core types" from chalk-ir. All the types in chalk-ir are
parameterized by a |
TargetInterner | "Target" interner, used to specify the interner of the folded value. In most cases, both interners are the same, but in some cases you want to change a value to a different internal representation, and as such a different target interner. |