[][src]Function gluon_check::substitution::is_variable_unified

pub fn is_variable_unified(subs: &Substitution<RcType>, var: &RcType) -> bool