Searched refs:amodLineage (Results 1 – 2 of 2) sorted by relevance
477 , amodLineage :: WhyInScope function982 mapMod = fmap . map $ \a -> a { amodLineage = f $ amodLineage a }
371 TCP.nest 2 (pWhy (nameBindingSite $ qnameName $ mnameToQName $ amodName a) (amodLineage a))