Function gluon_check::unify_type::equal

pub fn equal(state: State<'_>, l: &RcType, r: &RcType) -> bool