pub type Substitution = Substitution<Interner>;

Trait Implementations