Function gluon_check::substitution::is_variable_unified
source · pub fn is_variable_unified(subs: &Substitution<RcType>, var: &RcType) -> boolpub fn is_variable_unified(subs: &Substitution<RcType>, var: &RcType) -> bool