Struct polytype::ContextChange [−][src]
pub struct ContextChange { /* fields omitted */ }
Expand description
Allow types to be reified for use in a different context. See Context::merge
.
Implementations
Reify a TypeSchema
for use under a merged Context
.