Type Alias Substitution

pub type Substitution<T = IRTerm> = HashMap<T, T>;

Aliased Type§

pub struct Substitution<T = IRTerm> { /* private fields */ }