Searched refs:moreRelevant (Results 1 – 7 of 7) sorted by relevance
293 let ok = irel `moreRelevant` rel301 return (frel `moreRelevant` rel) `and2M` usableRel rel vs310 return (mrel `moreRelevant` rel) `and2M` usableRel rel vs351 return $ prel `moreRelevant` rel
162 if not (getRelevance def `moreRelevant` rel) then return Nothing else do
422 , [ "irrelevant" | not $ getRelevance ai `moreRelevant` getRelevance mod ]
1088 moreRelevant :: Relevance -> Relevance -> Bool1089 moreRelevant = (<=) function
1212 mod = applyUnless (NonStrict `moreRelevant` eqrel) (setRelevance eqrel)
597 unless (moreRelevant rPi rLam) $ do
417 return $ if (drel `moreRelevant` rel) then Nothing else Just $ DefinitionIsIrrelevant x