Searched refs:UnifyReflexiveEq (Results 1 – 3 of 3) sorted by relevance
1363 UnifyReflexiveEq tel a u -> addContext tel $ fsep $
905 -> return $ UnifyStuck [UnifyReflexiveEq (varTel s) a u]
3530 …| UnifyReflexiveEq Telescope Type Term -- ^ Can't solve reflexive equation because --… constructor