Type Alias Erasure 

pub type Erasure<'a, T> = Var<'a, <T as Term>::Type>;

Aliased Type

pub struct Erasure<'a, T> { /* private fields */ }