Searched refs:applySubstTerm (Results 1 – 1 of 1) sorted by relevance
791 applySubstTerm :: forall t. (Coercible t Term, EndoSubst t, Apply t) => Substitution' t -> t -> t792 applySubstTerm IdS t = t function793 applySubstTerm rho t = coerce $ case coerce t of function815 applySubst = applySubstTerm819 applySubst = applySubstTerm