Function gluon_check::substitution::occurs

pub fn occurs<T>(typ: &T, subs: &Substitution<T>, var: &T::Variable) -> bool where
    T: Substitutable,