Module chalk_ir::interner [−][src]
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 |