Searched refs:reduceDefCopy (Results 1 – 2 of 2) sorted by relevance
644 reduceDefCopyTCM = reduceDefCopy647 reduceDefCopy :: forall m. PureTCM m => QName -> Elims -> m (Reduced () Term)648 reduceDefCopy f es = do function
628 r <- reduceDefCopy x es