Searched refs:UnifyIndicesNotVars (Results 1 – 3 of 3) sorted by relevance
1350 UnifyIndicesNotVars tel a u v ixs -> addContext tel $ fsep $
994 in return $ UnifyStuck [UnifyIndicesNotVars
3528 …= UnifyIndicesNotVars Telescope Type Term Term Args -- ^ Failed to apply injectivity to constructo… constructor