Searched refs:isVarOrIrrelevant (Results 1 – 1 of 1) sorted by relevance
1461 loop = foldM isVarOrIrrelevant []1470 isVarOrIrrelevant :: Res -> (Arg Term, Term) -> ExceptT InvertExcept TCM Res1471 isVarOrIrrelevant vars (Arg info v, t) = do function