Searched refs:appDefE_ (Results 1 – 1 of 1) sorted by relevance
623 ev <- appDefE_ f v0 cls mcc rewr es677 ev <- liftReduce $ appDefE_ f v0 [cl] Nothing mempty $ map notReduced es'739 appDef_ f v0 cls mcc rewr args = appDefE_ f v0 cls mcc rewr $ map (fmap Apply) args741 appDefE_ :: QName -> Term -> [Clause] -> Maybe CompiledClauses -> RewriteRules -> MaybeReducedElims…742 appDefE_ f v0 cls mcc rewr args = function