Type Alias Substitution

pub type Substitution = *mut SubstitutionRec;